blob: c8f17a43ebb11f240e6a0e8b2f4b894995a0ab40 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# -*- mode: sh; -*-
set_title() {
print -Pn "\e]0;$1\7\n"
}
ssh() {
local arg server retval
for arg; do
if [[ "${arg#-}" == "$arg" ]]; then
server=$arg
break
fi
done
if [[ ! -p /dev/fd/1 ]]; then
set_title "file://${server}/"
command ssh "$@"
retval=$?
set_title
return $retval
else
command ssh "$@"
return $retval
fi
}
mosh() {
command mosh "$@"
retval=$?
set_title
return $retval
}
|