diff options
author | Andreas Fankhauser | 2023-08-03 16:51:11 +0200 |
---|---|---|
committer | Andreas Fankhauser | 2023-08-03 16:51:11 +0200 |
commit | 2032286c06464fe78f3d63e3df50d7d9c75ce73e (patch) | |
tree | 6cab15daa8121ddea3d931921646a29d9f65f4e2 /src | |
parent | 4b3501ad0384a296d5568b6f7c1c7f84200952a3 (diff) | |
download | dotfiles-2032286c06464fe78f3d63e3df50d7d9c75ce73e.zip dotfiles-2032286c06464fe78f3d63e3df50d7d9c75ce73e.tar.gz |
(ssh) Run setup commands on remote when login
Diffstat (limited to 'src')
-rw-r--r-- | src/ssh/config | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ssh/config b/src/ssh/config index b1286d4..2083b48 100644 --- a/src/ssh/config +++ b/src/ssh/config @@ -23,7 +23,11 @@ Host 42.42.42.42 example.com # Get rid of annoying security checks where it doesn't make sense (eg # throw-away VirtualBox machines). Host 192.168.56.* - User user StrictHostKeyChecking no UserKnownHostsFile /dev/null +# Run few setup cmds before starting a shell. +Host example.com + RequestTTY yes + RemoteCommand echo foo bar && exec /usr/bin/bash -i + |