Das bash-Kommando script ist sehr nützlich, um Sitzungen im Terminalfenster zu protokollieren (per default in der Datei typescript). Will man jedoch Teile des Protokolls aus typescript mit Hilfe eines Editors herausschneiden, um sie in eine andere Datei zu übertragen, wird es schwierig: im Editor-Fenster sieht man jede Menge Steuerzeichen, die auf dem Bildschirm nicht zu sehen waren.
Ich habe nach einer Funktion gesucht, um das Problem zu lösen – vergeblich. (Es ist schließlich die Funktion, welche cat verwendet!)
Inzwischen benutze ich folgendes Verfahren:
im Terminal mit „Bearbeiten/Momentan verwendetes Profil...“ das Fenster „Rollbalken“ aufsuchen und das Feld „Zurückrollen“ auf eine hinreichend große Zeilenzahl setzen (z.B. 5000)
den Texteditor (über „Anwendungen/Zubehör“) öffnen ODER in einem zweiten Terminal den Editor „vi“ öffnen
in Terminal 1 das Kommando cat typescript ausführen; die Datei typescript wird angezeigt. Alles selektieren und „Bearbeiten/Kopieren“ klicken
Im Editor „Bearbeiten/Einfügen“ klicken: die Datei typescript ist in „richtiger“ Form verfügbar und kann abgespeichert werden, z.B. als typscript.list ODER falls man vi verwendet: „O“ tippen und dann „Bearbeiten/Einfügen“ klicken; nach ESC kann die Datei mit :wq typescript.list abgespeichert werden
Die Datei typescript.list kann jetzt beliebig weiter verwendet werden. Dieses Verfahren ist zwar nicht besonders elegant, aber es funktioniert! Ich hoffe, damit anderen helfen zu können. Wenn jemand eine bessere Lösung hat: bitte Antwort.