Я использую GNOME Terminal 2.31.3.
Я был на работе, ssh'ed в машину на работе. Я пришел домой и, очевидно, разорвал соединение, поэтому хочу сбросить вкладку терминала.
Есть пункт меню Terminal> Reset and Clear. Эта опция меню очистит окно терминала, но не сбрасывается. Я не могу ничего напечатать в этой вкладке. Я должен закрыть вкладку и открыть еще одну.
РЕДАКТИРОВАТЬ: Ха-ха. Смешной. Некоторое время я крутился вокруг переполнения стека, и теперь, когда я возвращаюсь к своему терминалу, он говорит, что Write failed: Broken pipe и, наконец, я могу печатать снова.
Это ошибка? Не должен ли сброс дать мне чистую терминальную сессию / оболочку, которую я могу сразу начать использовать?