Bash переименовать вкладку экрана на SSH
Я использую несколько вкладок с "screen" в bash, и я настроил следующее, чтобы переименовать вкладку в целевое имя хоста, если я ssh на этой вкладке:
$ HOME /.ssh_hostname
#!/bin/sh
echo -ne "\033k$1\033\\"
$ HOME /.ssh / конфигурации
PermitLocalCommand yes
LocalCommand ~/.ssh_hostname %h
Это прекрасно работает, но я хотел бы переименовать его обратно в "default" при выходе из сеанса ssh. Прямо сейчас он просто переименовывает вкладку, даже если я выхожу из ssh.
Любые идеи о том, как я мог бы переименовать его, когда я выйду из SSH?