Имеется плохое интернет-соединение (допустим, мобильный интернет в дороге). Так вот, при обрыве соединения активная ssh-сессия виснет наглухо и не восстанавливается (и не завершается) при восстановлении соединения. Приходится закрывать вкладку терминала и открывать новую, куда по памяти вводить адрес. Ни ctrl-c, ни ctrl-d не помогают. А я хочу, чтобы, если возник невосстанавливаемый обрыв, сессия прекращалась, и я в той же консоли через историю bash мог войти заново.
Как это сделать?
