35 |
|
|
36 |
let home_dir = |
let home_dir = |
37 |
match Autoconf.system with |
match Autoconf.system with |
38 |
| "windows" -> Filename.concat "." config_dir_basename |
| "windows" -> "." |
39 |
| _ -> Filename.concat (try Sys.getenv "HOME" with _ -> ".") config_dir_basename |
| _ -> Filename.concat (try Sys.getenv "HOME" with _ -> ".") config_dir_basename |
40 |
|
|
41 |
let installer_ini = create_options_file (Filename.concat home_dir |
let installer_ini = create_options_file (Filename.concat home_dir |
85 |
if Sys.file_exists (Filename.concat (Sys.getcwd ()) "downloads.ini") then |
if Sys.file_exists (Filename.concat (Sys.getcwd ()) "downloads.ini") then |
86 |
"." |
"." |
87 |
else |
else |
88 |
if Autoconf.system = "windows" then |
if Autoconf.system = "windows" && file_basedir_pre <> home_dir then |
89 |
match String2.split file_basedir_pre ':' with |
match String2.split file_basedir_pre ':' with |
90 |
| drive :: directory :: _ -> |
| drive :: directory :: _ -> |
91 |
Unix.chdir (drive ^ ":\\"); |
Unix.chdir (drive ^ ":\\"); |