diff options
| author | Daniel Bünzli <daniel.buenzli@erratique.ch> | 2019-09-25 13:50:25 +0200 |
|---|---|---|
| committer | Armaël Guéneau <Armael@users.noreply.github.com> | 2019-09-25 13:50:25 +0200 |
| commit | 17ef07600017306e55d2bb434d681fa0085e26d4 (patch) | |
| tree | df7764befcf267f8b8a81ac882ab2c65c27b41fd /man | |
| parent | 776fcc39194b84314520429fb82f0f51c35401bf (diff) | |
| download | ocaml-17ef07600017306e55d2bb434d681fa0085e26d4.tar.gz | |
.ocamlinit: XDG base directory lookup. (#8834)
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocaml.m | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index 7d436e69c7..63b84a6b74 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -302,8 +302,14 @@ is invoked, it will read phrases from an initialization file before giving control to the user. The default file is .B .ocamlinit in the current directory if it exists, otherwise +.B XDG_CONFIG_HOME/ocaml/init.ml +according to the XDG base directory specification lookup if it exists (on +Windows this is skipped), otherwise .B .ocamlinit -in the user's home directory. You can specify a different initialization file +in the user's home directory ( +.B HOME +variable). +You can specify a different initialization file by using the .BI \-init \ file option, and disable initialization files by using the @@ -327,7 +333,10 @@ When printing error messages, the toplevel system attempts to underline visually the location of the error. It consults the TERM variable to determines the type of output terminal and look up its capabilities in the terminal database. - +.TP +.B XDG_CONFIG_HOME HOME +.B .ocamlinit +lookup procedure (see above). .SH SEE ALSO .BR ocamlc (1), \ ocamlopt (1), \ ocamlrun (1). .br |