On Okt 25 2023, Nat! wrote: > That could work, if 'commands' would work in script mode, which it > doesn't. In which way does it not work? -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."