!752

answer {
  if (!master()) ret null;
  
  if "show file *" exceptionToUser {
    File file = pathToFile(m.unq(0));
    if (!file.exists())
      ret format("File * not found", file.getPath());
    if (file.isDirectory())
      ret "It's a directory";
    ret slackSnippet(loadTextFile(file));
  }
  
  if "delete file *" exceptionToUser {
    File file = pathToFile(m.unq(0));
    if (!file.exists())
      ret format("File * not found", file.getPath());
    if (file.isDirectory())
      ret "It's a directory";
    File delFile = getProgramFile("deleted at " + uniqueNow() + " from " + urlencode(file.getAbsolutePath()));
    if (renameFile(file, delFile))
      ret "OK, backed up as " + delFile.getPath();
    else
      ret format("Hm. Could not rename * to *", file.getPath(), delFile.getPath());
  }
  
  if "copy file * to *" exceptionToUser {
    File file = pathToFile(m.unq(0));
    File dest = pathToFile(m.unq(1));
    if (!file.exists())
      ret format("File * not found", file.getPath());
    if (file.isDirectory())
      ret "It's a directory";
    if (dest.isFile())
      ret format("File * exists", dest.getPath());
    if (dest.isDirectory())
      dest = new File(dest, file.getName());
    copyFile(file, dest);
    ret "OK, copied " + file.getPath() + " to " + dest.getPath();
  }
}

static File pathToFile(S path) {
  if (!path.startsWith("#")) path = "#" + path;
  assertFalse(path.indexOf("..") >= 0);
  ret new File(javaxDataDir(), path);
}