remove mosh

This commit is contained in:
Michele Guerini Rocco 2022-08-09 17:15:57 +02:00
parent f3651ffa04
commit d6d1cf413a
Signed by: rnhmjoj
GPG Key ID: BFBAF4C975F76450

View File

@ -424,7 +424,6 @@
### Program configuration ### Program configuration
programs = { programs = {
fish.enable = true; fish.enable = true;
mosh.enable = true;
tmux = { tmux = {
enable = true; enable = true;
newSession = true; newSession = true;
@ -483,10 +482,4 @@
NIX_PROFILE = "$XDG_CONFIG_HOME/nix/profile"; NIX_PROFILE = "$XDG_CONFIG_HOME/nix/profile";
}; };
# Needed to make the mosh server survive a
# user logout: systemd kills everything by default
environment.shellAliases = {
mosh-server = "systemd-run --user --scope mosh-server";
};
} }