2015-05-21 14:13:47 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
imports =
|
|
|
|
[
|
|
|
|
/etc/nixos/hardware-configuration.nix
|
2015-05-27 16:52:02 +00:00
|
|
|
./i3.nix
|
2015-05-21 14:13:47 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_latest;
|
|
|
|
|
|
|
|
nix.binaryCaches = [ https://hydra.nixos.org https://cache.nixos.org ];
|
|
|
|
nix.trustedBinaryCaches = [ https://hydra.nixos.org https://cache.nixos.org ];
|
2015-05-24 09:42:07 +00:00
|
|
|
nix.extraOptions = "auto-optimise-store = true";
|
2015-05-21 14:13:47 +00:00
|
|
|
|
|
|
|
networking.networkmanager.enable = true;
|
|
|
|
networking.firewall.enable = true;
|
|
|
|
|
|
|
|
time.timeZone = "Europe/Vienna";
|
|
|
|
|
|
|
|
# Select internationalisation properties.
|
|
|
|
# i18n = {
|
|
|
|
# consoleFont = "lat9w-16";
|
|
|
|
# consoleKeyMap = "us";
|
|
|
|
# defaultLocale = "en_US.UTF-8";
|
|
|
|
# };
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; with haskellngPackages; [
|
|
|
|
stdenv
|
|
|
|
nox
|
|
|
|
wget
|
|
|
|
vim_configurable
|
|
|
|
zsh
|
|
|
|
gitFull gitAndTools.hub tig gitg
|
|
|
|
gnumake
|
2015-05-24 09:42:37 +00:00
|
|
|
gmpc
|
2015-05-21 14:13:47 +00:00
|
|
|
m4
|
2015-05-21 15:51:28 +00:00
|
|
|
subversion
|
2015-05-21 14:13:47 +00:00
|
|
|
openjdk8
|
|
|
|
sbt scala
|
|
|
|
idea.idea-community
|
|
|
|
screen
|
|
|
|
psmisc
|
2015-05-24 09:37:55 +00:00
|
|
|
pkgs.parallel
|
2015-05-21 14:13:47 +00:00
|
|
|
firefoxWrapper
|
2015-05-24 09:37:55 +00:00
|
|
|
chromium
|
2015-05-21 14:13:47 +00:00
|
|
|
thunderbird
|
2015-05-24 09:37:55 +00:00
|
|
|
viewnior
|
2015-05-21 14:13:47 +00:00
|
|
|
gnupg
|
2015-05-24 09:37:55 +00:00
|
|
|
pass xclip pwgen
|
2015-05-21 14:13:47 +00:00
|
|
|
gcc
|
2015-06-09 15:40:19 +00:00
|
|
|
remmina
|
2015-05-21 14:13:47 +00:00
|
|
|
silver-searcher
|
|
|
|
tree
|
|
|
|
python
|
|
|
|
python34
|
|
|
|
python34Packages.ipython
|
|
|
|
ledger
|
|
|
|
hledger
|
|
|
|
hledger-diff
|
|
|
|
cmake
|
|
|
|
vimPlugins.YouCompleteMe
|
|
|
|
gdb
|
|
|
|
mpv
|
2015-05-24 09:37:55 +00:00
|
|
|
bind nmap wireshark-gtk
|
2015-05-21 14:13:47 +00:00
|
|
|
dstat
|
|
|
|
which
|
|
|
|
zip
|
|
|
|
file
|
|
|
|
unzip
|
|
|
|
elinks
|
|
|
|
ctags
|
|
|
|
mutt
|
|
|
|
nix-prefetch-scripts
|
2015-05-24 09:37:55 +00:00
|
|
|
nix-repl
|
2015-05-21 14:13:47 +00:00
|
|
|
|
|
|
|
texLiveFull biber
|
|
|
|
androidsdk_4_4
|
|
|
|
gimp
|
|
|
|
inkscape
|
2015-05-28 07:51:24 +00:00
|
|
|
# libreoffice
|
2015-05-21 14:13:47 +00:00
|
|
|
jabref
|
|
|
|
|
|
|
|
# haskell dev
|
|
|
|
cabal2nix
|
|
|
|
cabal-install
|
|
|
|
# ghc-mod
|
2015-07-12 13:34:43 +00:00
|
|
|
|
2015-07-13 12:24:37 +00:00
|
|
|
# emacs
|
2015-07-12 13:34:43 +00:00
|
|
|
emacs
|
|
|
|
ghostscript # for auctex
|
2015-07-13 12:24:37 +00:00
|
|
|
aspell
|
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
2015-05-21 14:13:47 +00:00
|
|
|
|
|
|
|
nixpkgs.config.packageOverrides = pkgs: rec {
|
2015-05-21 17:07:54 +00:00
|
|
|
# libreoffice = pkgs.libreoffice.override { jdk = pkgs.jdk; }; # reuse package cache
|
2015-05-21 14:13:47 +00:00
|
|
|
jre = pkgs.openjdk8;
|
|
|
|
jdk = pkgs.openjdk8;
|
2015-06-09 15:40:19 +00:00
|
|
|
i3 = pkgs.stdenv.lib.overrideDerivation pkgs.i3 (oldAttrs: { doCheck = false; });
|
2015-05-21 14:13:47 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
environment.variables.EDITOR = "${pkgs.vim}/bin/vim";
|
|
|
|
|
|
|
|
# Enable the OpenSSH daemon.
|
|
|
|
services.openssh = {
|
|
|
|
enable = true;
|
|
|
|
permitRootLogin = "no";
|
|
|
|
passwordAuthentication = false;
|
|
|
|
};
|
|
|
|
programs.ssh.startAgent = false;
|
|
|
|
|
|
|
|
# Enable CUPS to print documents.
|
|
|
|
services.avahi.enable = true; # cups browsing support
|
|
|
|
services.printing.enable = true;
|
2015-06-02 14:39:37 +00:00
|
|
|
# services.colord.enable = true;
|
2015-05-21 14:13:47 +00:00
|
|
|
|
|
|
|
# IntelliJ
|
|
|
|
boot.kernel.sysctl."fs.inotify.max_user_watches" = 524288;
|
|
|
|
|
2015-06-02 10:38:56 +00:00
|
|
|
# gapt: `ulimit -n` was 256
|
|
|
|
security.pam.loginLimits = [
|
|
|
|
{ domain = "*"; type = "-"; item = "nofile"; value = "4096"; }
|
|
|
|
];
|
|
|
|
|
2015-05-21 14:13:47 +00:00
|
|
|
fileSystems."/mnt/vaccaria" = {
|
|
|
|
device = "//vaccaria.mtlaa.gebner.org/export";
|
|
|
|
fsType = "cifs";
|
2015-05-21 14:50:37 +00:00
|
|
|
options = "noauto,x-systemd.automount,credentials=/etc/smbcredentials/vaccaria";
|
2015-05-21 14:13:47 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
fileSystems."/mnt/aruanus" = {
|
|
|
|
device = "//aruanus.htdf.gebner.org/export";
|
|
|
|
fsType = "cifs";
|
2015-05-21 14:50:37 +00:00
|
|
|
options = "noauto,x-systemd.automount,credentials=/etc/smbcredentials/aruanus";
|
2015-05-21 14:13:47 +00:00
|
|
|
};
|
|
|
|
|
2015-05-21 15:51:41 +00:00
|
|
|
programs.zsh = {
|
|
|
|
enable = true;
|
|
|
|
promptInit = "";
|
|
|
|
};
|
2015-05-21 14:13:47 +00:00
|
|
|
users.extraUsers.gebner = {
|
|
|
|
isNormalUser = true;
|
|
|
|
extraGroups = [ "wheel" "networkmanager" ];
|
|
|
|
shell = "${pkgs.zsh}/bin/zsh";
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|