123456789101112131415161718192021222324252627282930313233343536373839(* 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->"")