Frequento spesso la ssh nel mio box a casa da scuola, ma di solito quando cambio classe e il mio computer si interrompe, la pipe si spezzerà. Tuttavia, ssh si blocca semplicemente - Ctrl + c , Ctrl + z e Ctrl + d non ha alcun effetto.
È fastidioso dover riavviare il mio terminale, e ancora più fastidioso dover chiudere e ricreare una nuova finestra sullo schermo.
Quindi la mia domanda, c'è un modo semplice per fare ssh die correttamente (ad esempio quando il pipe fallisce "normalmente" uscirà con un messaggio su una pipe rotta)? O devo capire che cos'è il PID e ucciderlo manualmente?