From fd9411ec6026ad876303ed714bee725a2d9df26a Mon Sep 17 00:00:00 2001
From: Andreas Fankhauser
Date: Fri, 4 Aug 2023 19:33:19 +0200
Subject: (ssh) Note how to force remote prompt.

---
 src/ssh/config | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/ssh/config')

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
+
-- 
cgit v1.1