Delete command line history permanently?