home: ssh: remove old 'work' host

I don't work there anymore.
This commit is contained in:
Bruno BELANYI 2023-03-31 10:44:06 +00:00
parent a22fe4e636
commit 84bed03367

View file

@ -45,12 +45,6 @@ in
identityFile = "~/.ssh/shared_rsa"; identityFile = "~/.ssh/shared_rsa";
user = "ambroisie"; user = "ambroisie";
}; };
work = {
hostname = "workspaces.dgexsol.fr";
identityFile = "~/.ssh/shared_rsa";
user = "bruno_belanyi";
};
}; };
extraConfig = '' extraConfig = ''