Function getPath

src/util/file.cc:400–405

  return elems.empty() ? "" : elems.back();
}
string getPath(const string& full) {
  auto elems = split(full, '/');
  if (elems.size() <= 1) return full;
  elems.pop_back();
  return join(elems, "/");
}
string removeExtension(const string& file) {
  auto elems = split(file, '.');
  if (elems.size() <= 1) return file;