docs: @Override
      public File historyFile() {
          if(historyFile == null) {
              return new File(System.getProperty("user.home")+
                      Config.getPathSeparator()+".aesh_history");
          }
          else
              return historyFile;
      }