.HISTORY Extensión de archivo

Csh y sus variantes normalmente crean o actualizan un archivo HISTORY cada vez que un usuario sale (no cierra) del shell. El shell guarda una cantidad determinada de comandos de la sesión más reciente del usuario, según la configuración que este haya especificado en set history y set savehist. Los usuarios también pueden guardar manualmente su historial en cualquier momento introduciendo history -S en el shell.

Si set savehist se ha configurado para combinar el historial actual del usuario con historiales anteriores, el shell añadirá el historial actual a un archivo HISTORY existente. (La lista total de comandos del archivo no superará la configuración de set history; los comandos antiguos se eliminan si es necesario). Si set savehist no se ha configurado para combinar historiales, el shell sobrescribe el archivo HISTORY anterior.

Cómo mostrar el historial de comandos en csh

Para imprimir el contenido de tu archivo HISTORY en csh, introduce history. Puedes especificar argumentos adicionales que controlan cómo se imprime el historial, entre ellos:

• -h: Imprimir sin números iniciales
• -T: Imprimir con marcas de tiempo
• -h: Imprimir del más reciente al más antiguo
• [#]: Imprimir solo # comandos (por ejemplo, history 100 para imprimir 100 comandos)

Como los archivos HISTORY son archivos de texto sin formato, puedes abrirlos y ver su contenido en cualquier editor de texto. También puedes usar el comando history para ver el contenido de tu archivo HISTORY en csh y sus variantes.