diff options
author | Fabian Homborg <FHomborg@gmail.com> | 2016-05-23 11:29:06 +0200 |
---|---|---|
committer | Fabian Homborg <FHomborg@gmail.com> | 2016-05-23 11:29:38 +0200 |
commit | dc470bcad3905a19ce8e72ddf2c6c063ad99e450 (patch) | |
tree | c54371e033aeaa95c3da9b80b91e0ca4d085c413 /doc_src | |
parent | 49d9883b3e296ed2b0ca493c21b777cd12c0e0d9 (diff) |
Document noclobber redirections
Fixes #2812.
Diffstat (limited to 'doc_src')
-rw-r--r-- | doc_src/index.hdr.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in index ff014136..9eb620a7 100644 --- a/doc_src/index.hdr.in +++ b/doc_src/index.hdr.in @@ -146,6 +146,8 @@ An example of a file redirection is `echo hello > output.txt`, which directs the - To append standard output to a file, write `>>DESTINATION_FILE` - To append standard error to a file, write `^^DESTINATION_FILE` +- To not overwrite ("clobber") an existing file, write '>?DESTINATION' or '^?DESTINATION' + `DESTINATION` can be one of the following: - A filename. The output will be written to the specified file. |