diff options
Diffstat (limited to 'example/exampleSession.txt')
| -rw-r--r-- | example/exampleSession.txt | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/example/exampleSession.txt b/example/exampleSession.txt index d1dcb544..945ea0bc 100644 --- a/example/exampleSession.txt +++ b/example/exampleSession.txt @@ -27,20 +27,6 @@ goodnight, Gracie OODNIGHT, GRACIEGAY OODNIGHT, GRACIEGAY OODNIGHT, GRACIEGAY -(Cmd) set -abbrev: True -case_insensitive: True -colors: True -continuation_prompt: > -debug: False -default_file_name: command.txt -echo: False -editor: gedit -feedback_to_output: False -maxrepeats: 3 -prompt: (Cmd) -quiet: False -timing: False (Cmd) set maxrepeats 5 maxrepeats - was: 3 now: 5 @@ -60,10 +46,8 @@ say goodnight, Gracie -------------------------[4] say -ps --repeat=5 goodnight, Gracie -------------------------[5] -set --------------------------[6] set maxrepeats 5 --------------------------[7] +-------------------------[6] say -ps --repeat=5 goodnight, Gracie (Cmd) run 4 say -ps --repeat=5 goodnight, Gracie |