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 | |
| parent | 2032286c06464fe78f3d63e3df50d7d9c75ce73e (diff) | |
| download | dotfiles-fd9411ec6026ad876303ed714bee725a2d9df26a.zip dotfiles-fd9411ec6026ad876303ed714bee725a2d9df26a.tar.gz | |
(ssh) Note how to force remote prompt.
| -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 + |