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