>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?
