Skip to content

Commit

Permalink
Adapt manual & CHANGES.md
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
  • Loading branch information
nojb committed Jul 31, 2019
1 parent 70adc42 commit 358e0a7
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
4 changes: 3 additions & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,11 @@
- Add a new config option `sandboxing_preference`, the cli argument `--sandbox`,
and the dep spec `sandbox` in dune language. These let the user control the level of
sandboxing done by dune per rule and globally. The rule specification takes precedence.
The global configuration merely specifies the default.
The global configuration merely specifies the default.
(#2213, @aalekseyev, @jdimino)

- Add action (with-stdin-from ...). (#2487, @nojb)

1.11.0 (23/07/2019)
-------------------

Expand Down
1 change: 1 addition & 0 deletions doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1574,6 +1574,7 @@ The following constructions are available:
``stdout`` and ``stderr``)
- ``(ignore-<outputs> <DSL)`` to ignore the output, where
``<outputs>`` is one of: ``stdout``, ``stderr`` or ``outputs``
- ``(with-stdin-from <file> <DSL>)`` to redirect the input from a file
- ``(progn <DSL>...)`` to execute several commands in sequence
- ``(echo <string>)`` to output a string on stdout
- ``(write-file <file> <string>)`` writes ``<string>`` to ``<file>``
Expand Down

0 comments on commit 358e0a7

Please sign in to comment.