script: add page (#2485)

2018-10-28 12:53:06 -04:00 · 2018-10-28 12:53:06 -04:00 · e72e0204fe
parent c049a605b5
commit e72e0204fe
1 changed files with 23 additions and 0 deletions
--- a/pages/common/script.md
+++ b/pages/common/script.md
@ -0,0 +1,23 @@
+# script
+
+> Make a typescript file of a terminal session.
+
+- Start recording in file named "typescript":
+
+`script`
+
+- Stop recording:
+
+`exit`
+
+- Start recording in a given file:
+
+`script {{logfile.log}}`
+
+- Append to an existing file:
+
+`script -a {{logfile.log}}`
+
+- Execute quietly without start and done messages:
+
+`script -q {{logfile.log}}`