credo di aver fatto casino col file bash_profile visto che non mi riconosce più i comandi...ma come faccio ora ad eliminarlo?