Muitos anos atrás, eu costumava usar um programa chamado timeoutd
para fazer exatamente isso. Parece ter desaparecido de debian
desde a última vez que usei (ou talvez nunca tenha sido em debian e eu mesmo compilei - não me lembro, usei-o pela última vez em meados dos anos 90).
De qualquer forma, encontrei uma cópia em:
É configurável com um arquivo /etc/timeouts
. Você pode encontrar a página man no pacote, com a fonte, ou em
link