diff options
author | tv <tv@krebsco.de> | 2018-07-17 20:22:52 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-07-17 20:22:52 +0200 |
commit | 3dedfb8de4dc7e741f4db5310739884fba68b5bd (patch) | |
tree | 25e2955462d2998afe04356128f9d464d1b40b52 /jeschli/1systems/bln/config.nix | |
parent | 75aa3b118b6c74b2e87ccf7e3da53aa06fa7d569 (diff) | |
parent | 74698c904460db569a3c6c8355c0b25a94c98800 (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'jeschli/1systems/bln/config.nix')
-rw-r--r-- | jeschli/1systems/bln/config.nix | 43 |
1 files changed, 34 insertions, 9 deletions
diff --git a/jeschli/1systems/bln/config.nix b/jeschli/1systems/bln/config.nix index c5f8101ea..371a7052d 100644 --- a/jeschli/1systems/bln/config.nix +++ b/jeschli/1systems/bln/config.nix @@ -11,8 +11,22 @@ <stockholm/jeschli/2configs/xserver> ]; - boot.loader.systemd-boot.enable = true; +# boot.loader.systemd-boot.enable = true; boot.loader.efi.canTouchEfiVariables = true; + boot.loader.efi.efiSysMountPoint = "/boot"; + boot.loader.grub = { + devices = [ "nodev" ]; + efiSupport = true; + enable = true; + extraEntries = '' + menuentry "Debian" { + insmod ext2 + insmod chain + chainloader /EFI/debian/grubx64.efi + } + ''; + version = 2; + }; jeschliFontSize = 20; @@ -56,7 +70,6 @@ sqlite # internet thunderbird - hipchat chromium google-chrome # programming languages @@ -78,6 +91,7 @@ texlive.combined.scheme-full pandoc redis + vagrant # document viewer zathura ]; @@ -92,14 +106,25 @@ services.printing.enable = true; services.printing.drivers = [ pkgs.postscript-lexmark ]; - # Enable the X11 windowing system. - services.xserver.videoDrivers = [ "nvidia" ]; + services.redis.enable = true; + + services.xserver = { + + desktopManager.session = lib.mkForce []; + + enable = true; + display = 11; + tty = 11; + + dpi = 200; + + videoDrivers = [ "nvidia" ]; + synaptics = { + enable = false; + }; + + }; -# services.xserver.windowManager.xmonad.enable = true; -# services.xserver.windowManager.xmonad.enableContribAndExtras = true; -# services.xserver.displayManager.sddm.enable = true; -# services.xserver.dpi = 100; -# fonts.fontconfig.dpi = 100; users.extraUsers.jeschli = { isNormalUser = true; |