12345678910111213141516171819202122232425(* From dune API. TODO: use the API directly once it's public. *)lethome=trySys.getenv"HOME"withNot_found->(try(Unix.getpwuid(Unix.getuid())).Unix.pw_dirwithUnix.Unix_error_|Not_found->ifSys.win32thentrySys.getenv"AppData"withNot_found->""else"")let(/)=Filename.concatletgetenv_varunix_defaultwin32_default=trySys.getenvenv_varwithNot_found->ifSys.win32thenwin32_defaultelseunix_defaultletcache_dir=get"XDG_CACHE_HOME"(home/".cache")(home/"Local Settings"/"Cache")letconfig_dir=get"XDG_CONFIG_HOME"(home/".config")(home/"Local Settings")letdata_dir=get"XDG_DATA_HOME"(home/".local"/"share")(trySys.getenv"AppData"withNot_found->"")