Eu tentei fazer sudo shutdown -r +1
, depois exit
, através de tcsh em ssh, e parece ter funcionado. O sistema não foi reiniciado (provavelmente porque já estava congelado) e continuou respondendo por ping6
como se ainda estivesse online, mas o ssh parou de funcionar, e parece que o tcsh dentro do Terminal foi desativado também.
Depois de aguardar a conclusão do encerramento do userland, tive que pressionar e manter pressionado o botão liga / desliga por 5 segundos para realmente reinicializar.
Não tenho certeza se o mesmo resultado seria alcançado se eu tivesse pulado shutdown(8)
.