On Fri, 14 Apr 2017 21:39:48 +0100, Sami Kerola wrote: > Recent commit that removed header timestamp from typescript output when > --quiet option is defined broke scriptreplay. Trouble was that scriptreplay > always skipped first line of the typescript. But --quiet makes that line to > be part of what must be printed by scriptreplay. Whoops, it's the first time I use script so I wasn't aware that would be related to scriptreplay. Sorry for the unexpected influence ;) Are there any special bytes or format to be used to determine that? For example, can we assume the first line after the header is always a command or empty line (meaning that nobody will try to mimic the header in his input)? On Tue, 18 Apr 2017 12:23:05 +0200, Karel Zak wrote: > Not sure about it. It seems like overkill... > > I have reverted Rui's change and fixed the man page. > > It seems better to keep things simple and stupid... it means keep > typescript file completely independent on the --quit option (for the > both, start and done messages). As it comes to man page, what do you think of adding a note there to show why the start message isn't suppressed? On Wed, 19 Apr 2017 19:11:57 +0100, Sami Kerola wrote: > On 18 April 2017 at 11:23, Karel Zak wrote: > >> Anyway, I don't like officially supported file formats without any >> header. IMHO it would be really nice to add to the typescript: >> >> ### script(1) typescript; Version: util-linux v2.30; Date: 2017-04-18 12:10:43+0200 >> >> ... and maybe more information. The same for timing file. > I agree. What comes to header data it should include header length > in bytes. Something like > > ### script(1) typescript; Header Length: 104 Version: util-linux > v2.30; Date: 2017-04-18 12:10:43+0200 > > As long it's easy to know how long to jump rest of the format does > not really matter. Right. Forgive my witless, what's the point of introducing a length? Doesn't we already know the header takes (and only takes) the first line?