Domanda banale... Come faccio a svuotare la History. Il file bash_history è già vuoto