[Linuxtrent] Re: history
- From: Mattia Merzi <merzi@xxxxxx>
- To: linuxtrent@xxxxxxxxxxxxx
- Date: Wed, 17 Apr 2002 15:49:41 +0200
per la BASH nel file .bashrc nella home c'e'
HISTSIZE=xxx
per la CSH nel file .cshrc nella home c'e'
set history=xxx
un'altra cosa simpatica e' la variabile $HISTFILE che ti dice qual'e' il file
di history ... questo c'e' nella bash, nella tcsh non so, bisognerebbe
controllare ...
bye !!!
Mattia.
On Wednesday 17 April 2002 15:42, you wrote:
> Mi sembra di aver capito che, ogni volta che chiudo una shell, il file
> .history viene aggiornato con l'aggiunta dei comandi della shell che ho
> appena chiuso. Giusto?
> Ci sono due variavili di ambiente che mi sembrano pertinenti:
> HISTFILESIZE=1000
> HISTSIZE=256
> Agiscono sul file .history o sul buffer in memoria che si tiene la shell
> in esecuzione? (a me sembra la seconda ipotesi)
> E' customizzabile il comportamento del file .history? Come faccio a
> deciderne la lunghezza? (visto che mi piacerebbe che fosse MOLTO piu'
> lungo)
>
> Grazie
>
> Emanuele
--
Per iscriversi (o disiscriversi), basta spedire un messaggio con SOGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxxxxxx
Other related posts:
