diff --git a/home/git/default.ignore b/home/git/default.ignore index a169a28..77aedcc 100644 --- a/home/git/default.ignore +++ b/home/git/default.ignore @@ -24,3 +24,7 @@ compile_commands.json # Swap and backup files *~ ~.swp + +# Direnv files +.envrc +.direnv/ diff --git a/home/ssh/default.nix b/home/ssh/default.nix index 3bd7f28..cbfd30c 100644 --- a/home/ssh/default.nix +++ b/home/ssh/default.nix @@ -40,6 +40,12 @@ in identityFile = "~/.ssh/shared_rsa"; user = "ambroisie"; }; + + work = { + hostname = "workspaces.dgexsol.fr"; + identityFile = "~/.ssh/shared_rsa"; + user = "bruno_belanyi"; + }; }; extraConfig = ''