Paul Gevers
unread,Dec 27, 2023, 3:40:04 AM12/27/23You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to
Package: release-notes
Severity: minor
Note to self. I just stumbled upon $(man script):
"""
-t[file], --timing[=file]
Output timing data to standard error, or to file when given.
This option is deprecated in favour of --log-timing where the file
argument is not optional.
"""
We use the -t option in the "4.4.1. Recording the session" section, so
we should probably revisit that.
Paul