Function modify_file_name

src/utils/file_utils.cpp:142–166

* Add tag to a file name and/or change the extension. * i.e., given a file_name as "name.ext", a new name "name_tag.new_ext" is * returned If a new extension is not specified, it assumes the same. To change * the extension without adding a tag, set tag to a null string. */

 * the extension without adding a tag, set tag to a null string.
 */
std::string modify_file_name(const std::string file_name,
                             const std::string tag,
                             const std::string new_ext)
{
  std::string dir;
  std::string name;
  bool ok = parse_path(file_name, dir, name);
  if (!ok) {
    return std::string();
  }
  std::string ext = (new_ext.empty() ? get_ext_name(name) : new_ext);
  name = get_basename_without_ext(name);

  if (!tag.empty()) {
    name = name + '_' + tag;
  }

  dir = add_delimiter(dir);
  if (!ext.empty()) {
    return (dir + name + '.' + ext);
  }
  else {
    return (dir + name);
  }
}

/// @todo Deprecated.
bool check_if_file_exists(const std::string& filename)