Add filesystem::delete_file

src/filesystem.cpp

@@ -346,6 +346,15 @@ bool delete_directory(const std::string& path, const bool keep_pbl)
 	}
 	return ret;
 }
+bool delete_file(const std::string& path)
+{
+	bool ret = true;
+	if(remove(path.c_str()) != 0 && errno != ENOENT) {
+		ERR_FS << "remove(" << path << "): " << strerror(errno) << "\n";
+		ret = false;
+	}
+	return ret;
+}
 
 std::string get_cwd()
 {

src/filesystem.hpp

@@ -89,6 +89,7 @@ std::string get_exe_dir();
 
 bool make_directory(const std::string& dirname);
 bool delete_directory(const std::string& dirname, const bool keep_pbl = false);
+bool delete_file(const std::string &filename);
 
 bool looks_like_pbl(const std::string& file);
 

src/filesystem_boost.cpp

@@ -553,6 +553,16 @@ bool delete_directory(const std::string& dirname, const bool keep_pbl)
 	return ret;
 }
 
+bool delete_file(const std::string &filename)
+{
+	error_code ec;
+	bool ret = bfs::remove(path(filename), ec);
+	if (ec) {
+		ERR_FS << "Could not delete file " << filename << ": " << ec.message() << '\n';
+	}
+	return ret;
+}
+
 std::string read_file(const std::string &fname)
 {
 	scoped_istream is = istream_file(fname);