static String bashQuote2(String text) {
  if (text == null) null;
  return text
    .replaceAll("[^a-zA-Z0-9._/]", "\\$1");
}

static String bashQuote2(File f) {
  ret bashQuote2(f.getAbsolutePath());
}