.HISTORY Estensione file

Csh e le sue varianti in genere creano o aggiornano un file HISTORY ogni volta che l'utente esce (non chiude) dalla shell. La shell salva un numero prestabilito di comandi della sessione più recente dell'utente, in base alle impostazioni specificate dall'utente in set history e set savehist. Gli utenti possono anche salvare manualmente la cronologia in qualsiasi momento inserendo history -S nella shell.

Se set savehist è stato impostato per unire la cronologia corrente dell'utente alle cronologie precedenti, la shell aggiunge la cronologia corrente a un file HISTORY esistente. (L'elenco totale dei comandi del file non supererà l'impostazione set history; se necessario, i comandi meno recenti vengono rimossi.) Se set savehist non è impostato per unire le cronologie, la shell sovrascrive il file HISTORY precedente.

Come visualizzare la cronologia dei comandi in csh

Per stampare il contenuto del file HISTORY in csh, inserisci history. Puoi specificare argomenti aggiuntivi che controllano il modo in cui viene stampata la cronologia, tra cui:

• -h: stampa senza numeri iniziali
• -T: stampa con i timestamp
• -h: stampa dal comando più recente a quello meno recente
• [#]: stampa solo # comandi (ad esempio, history 100 per stampare 100 comandi)

Poiché i file HISTORY sono file di testo normale, puoi aprirli e visualizzarne il contenuto in qualsiasi editor di testo. Puoi anche usare il comando history per visualizzare il contenuto del file HISTORY in csh e nelle sue varianti.