diff options
| author | Florian Angeletti <octa@polychoron.fr> | 2017-09-13 23:24:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-13 23:24:24 +0200 |
| commit | 588c23117ba14b272470400ac04644ccb3db1ad5 (patch) | |
| tree | 84c89ce49812b4ef87dc981ab2bd15a4a83ccf67 /manual | |
| parent | d5e0f4b0d531bcd25ec5f31af49d4dd70a7935c7 (diff) | |
| parent | 2e6a78aa181a08792a658f29e7ed75663092e80a (diff) | |
| download | ocaml-588c23117ba14b272470400ac04644ccb3db1ad5.tar.gz | |
Merge pull request #1231 from Octachron/hello_κόσμος
Toplevel: only escapes bytes and not strings
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/cmds/top.etex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manual/manual/cmds/top.etex b/manual/manual/cmds/top.etex index c01a7ed4de..0ac39a22ac 100644 --- a/manual/manual/cmds/top.etex +++ b/manual/manual/cmds/top.etex @@ -126,6 +126,10 @@ The following command-line options are recognized by the "ocaml" command. \begin{unix} The following environment variables are also consulted: \begin{options} +\item["OCAMLTOP_UTF_8"] When printing string values, non-ascii bytes +($ {} > "\0x7E" $) are printed as decimal escape sequence if "OCAMLTOP_UTF_8" is +set to false. Otherwise, they are printed unescaped. + \item["TERM"] 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 |