diff options
author | Andreas Fankhauser | 2023-08-04 19:33:19 +0200 |
---|---|---|
committer | Andreas Fankhauser | 2023-08-04 19:33:19 +0200 |
commit | fd9411ec6026ad876303ed714bee725a2d9df26a (patch) | |
tree | 7b73a94bdfcfa8778dcd099b9a9ae71ff72411fc /src/ssh/config | |
parent | 2032286c06464fe78f3d63e3df50d7d9c75ce73e (diff) | |
download | dotfiles-fd9411ec6026ad876303ed714bee725a2d9df26a.zip dotfiles-fd9411ec6026ad876303ed714bee725a2d9df26a.tar.gz |
(ssh) Note how to force remote prompt.
Diffstat (limited to 'src/ssh/config')
-rw-r--r-- | src/ssh/config | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ssh/config b/src/ssh/config index 2083b48..d5cebfc 100644 --- a/src/ssh/config +++ b/src/ssh/config @@ -31,3 +31,7 @@ Host example.com RequestTTY yes RemoteCommand echo foo bar && exec /usr/bin/bash -i +Host example.com + # Strongest way I found so far to force remote prompt: + RemoteCommand export PROMPT_COMMAND='export PS1='"'"'my-prompt\n\$ '"'"'' && exec /usr/bin/bash -li + |