mirror of
https://github.com/tio/tio.git
synced 2026-05-01 14:57:59 +02:00
Add --log-append option
Add --log-append option which makes tio append to any existing log file. This also changes the default behaviour of tio from appending to overwriting any existing log file. Now you have to use this new option to make tio append.
This commit is contained in:
parent
3bedd85e7c
commit
148a3c1da1
7 changed files with 28 additions and 2 deletions
|
|
@ -141,6 +141,11 @@ The filename can be manually set using the \-\-log-file option.
|
|||
|
||||
Set log filename.
|
||||
|
||||
.TP
|
||||
.BR " \-\-log-append
|
||||
|
||||
Append to log file.
|
||||
|
||||
.TP
|
||||
.BR " \-\-log-strip
|
||||
|
||||
|
|
|
|||
|
|
@ -108,6 +108,10 @@ OPTIONS
|
|||
|
||||
Set log filename.
|
||||
|
||||
--log-append
|
||||
|
||||
Append to log file.
|
||||
|
||||
--log-strip
|
||||
|
||||
Strip control characters and escape sequences from log.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue