Hi, in your script, it would be better to revert it back to local hostname
after ssh finishes.
Both this and LocalCommand seems neat, too bad that I have solved it by
manually setting PS1 on all machines :)
--
Message: 5
Date: Thu, 06 Nov 2008 11:25:00 +0100
From:
Malte Skoruppa <[EMAIL PROTECTED]> writes:
> I solved the problem in bash by editing my ~/.profile file:
>
> ssh() {
> args=$@
> echo -ne "\033k${args##* }\033\\";
> /usr/bin/ssh "$@";
You don't need to hard-code the path to ssh if you change this line to
command ssh "$@"
the trailing semic
Hi,
I solved the problem in bash by editing my ~/.profile file:
ssh() {
args=$@
echo -ne "\033k${args##* }\033\\";
/usr/bin/ssh "$@";
}
It"s a rather simple script, whenever you call ssh, first this script is
executed, which calls the real ssh in the end, with the same arguments.
Before it doe
