You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5397 Reporter:@alainfrisch Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2013-08-31T10:48:51Z) Resolution: fixed Priority: normal Severity: minor Fixed in version: 4.00.0+dev Category: ~DO NOT USE (was: OCaml general) Monitored by: mehdi @hcarty
Bug description
Currently, Filename.temp_dir_name is obtained from an environment variable when the Filename module is initialized.
It would be convenient to allow changing its value. This would allow some client code to control where third-party libraries, which simply use Filename.temp_file/open_temp_file, put their temp files.
One could add "get_temp_dir_name: unit -> string" and "set_temp_dir_name: string -> unit"; and temp_dir_name would be the original value (marked as deprecated, and removed in a future version).
The text was updated successfully, but these errors were encountered:
Original bug ID: 5397
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2013-08-31T10:48:51Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.00.0+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: mehdi @hcarty
Bug description
Currently, Filename.temp_dir_name is obtained from an environment variable when the Filename module is initialized.
It would be convenient to allow changing its value. This would allow some client code to control where third-party libraries, which simply use Filename.temp_file/open_temp_file, put their temp files.
One could add "get_temp_dir_name: unit -> string" and "set_temp_dir_name: string -> unit"; and temp_dir_name would be the original value (marked as deprecated, and removed in a future version).
The text was updated successfully, but these errors were encountered: