with--to ----------------- .. highlight:: dune .. describe:: (with--to ) Redirect the output to a file, where ```` is one of: ``stdout``, ``stderr`` or ``outputs`` (for both ``stdout`` and ``stderr``). Example:: (with-stdout-to conf.txt (run ./get-conf.exe))