+2

home-manager/fragments/epita.nix

··· 37 37 { assertion = config.programs.ssh.enable; message = "`epita` fragment depends on `ssh` program"; } 38 38 ]; 39 39 40 40 + programs.ssh.package = pkgs.openssh_gssapi; 41 41 + 40 42 # Needed for sshfs 41 43 programs.ssh.matchBlocks."ssh.cri.epita.fr" = { 42 44 extraOptions = {

+7

home-manager/fragments/tools.nix

··· 61 61 ]) ++ lib.optionals (!flags.onlyCached) [ 62 62 lpkgs.otree 63 63 ]; 64 64 + 65 65 + programs.bat = { 66 66 + enable = true; 67 67 + config = { 68 68 + style = "plain"; 69 69 + }; 70 70 + }; 64 71 }; 65 72 }

+4 -8

home-manager/profiles/desktop.nix

··· 1 1 { self 2 2 , config 3 3 - , lib 4 3 , llib 5 4 , pkgs 6 5 ··· 141 140 # TODO: move out 142 141 programs.ssh = { 143 142 enable = true; 144 144 - # needed for epita fragment 145 145 - package = pkgs.openssh_gssapi; 146 146 - }; 147 143 148 148 - programs.bat = { 149 149 - enable = true; 150 150 - config = { 151 151 - style = "plain"; 144 144 + matchBlocks."weird-row-server" = { 145 145 + hostname = "weird-row.portal.wiro.world"; 146 146 + # TODO: reduce automated load on ssh port by changing to a random port 147 147 + # port = "" 152 148 }; 153 149 }; 154 150