Re: shell history
Piviul <[email protected]>
| Newsgroups | gmane.linux.debian.user.italian |
|---|---|
| Message-ID | <[email protected]> |
On 12/6/24 11:35, Francesco Potortì wrote: >> Invece `history -r` credo che serva eventualmente solo dopo un `history -r`, per ripopolare la lista (in memoria) dopo averla cancellata con `history -c`. Sbaglio? > Doveva essere: > > Invece `history -r` credo che serva eventualmente per ripopolare la lista (in memoria) dopo averla cancellata con `history -c`. Sbaglio? scusate ma dove trovate le informazioni sui parametri da passare ad history? Con un man history o info history non trovo nulla... Piviul