Para saber que tipo de shell está sendo usada no unix ( parece ser um método seguro ) usar o comando : ps -p $$.
( aparentemente não existe uma forma de usar a “seta pra cima” no csh para recuperar os últimos comandos da history,
o jeito é usar o tcsh – ver o link limitaçãoCsh    )