Changes
1 changed files (+2/-3)
-
-
@@ -40,8 +40,9 @@ssh = { startAgent = true; enableAskPassword = true; askPassword = lib.mkForce "${pkgs.kdePackages.ksshaskpass}/bin/ksshaskpass"; }; # Disable Akonadi and other evil things kde-pim.enable = false; }; environment.systemPackages = with pkgs; [
-
@@ -77,8 +78,6 @@]; environment.variables = { # SSH agent SSH_ASKPASS = lib.mkForce "${pkgs.kdePackages.ksshaskpass}/bin/ksshaskpass"; # More Dafny stuff NIXOS_OZONE_WL = "1"; DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll";
-