Dune
latest
Getting Started and Core Concepts
How-to Guides
Reference Manual
dune
dune-project
dune-workspace
config
Lexical Conventions
Actions
run
system
bash
dynamic-run
chdir
setenv
with-accepted-exit-codes
echo
with-<outputs>-to
with-stdin-from
ignore-<outputs>
cat
copy
copy#
write-file
pipe-<outputs>
diff
diff?
cmp
progn
concurrent
no-infer
Ordered Set Language
Boolean Language
Predicate Language
Library Dependencies
Preprocessing Specification
Cram Tests
Scopes
Variables
Dependency Specification
OCaml Flags
Sandboxing
Locks
Diffing and Promotion
Package Specification
Aliases
Foreign Sources, Archives, and Objects
Command Line Interface
Dune Libraries
Dune Cache
Coq
Dune RPC
Packages
Findlib Integration
Explanation
Advanced Topics
Miscellaneous
Dune
Reference Manual
Actions
write-file
Edit on GitHub
write-file
¶
(write-file
<file>
<string>)
Writes
<string>
to
<file>
.
Example:
(
write-file
users.txt
jane,joe
)
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
epub
On Read the Docs
Project Home
Builds