/// Returns the user's home directory
Path get_home_dir();
+/// Changes the current working directory
+void chdir(const Path &);
+
inline bool is_windows_drive(const std::string &p)
{ return (p.size()==2 && ((p[0]>='A' && p[0]<='Z') || (p[0]>='a' && p[0]<='z')) && p[1]==':'); }