pages/*: add backticks around I/O streams (#10436)

* as suggested in #10428
* standard input  => `stdin`
* standard output => `stdout`
* standard error  => `stderr`

Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
This commit is contained in:
Lena
2023-08-09 07:29:02 +02:00
committed by GitHub
parent eb690c280d
commit d427f333b2
60 changed files with 77 additions and 77 deletions

View File

@@ -15,6 +15,6 @@
`script -a {{path/to/session.out}}`
- Record timing information (data is outputted to the standard error):
- Record timing information (data is outputted to `stderr`):
`script -t 2> {{path/to/timingfile}}`