man-Seiten als Textdatei speichern

Manchmal möchte man die Ausgabe des man-Befehls in einer Datei speichern, um sie in einem Editor zu lesen oder zu teilen. Eine einfache Umleitung mischt Steuerzeichen ein, daher ist eine angemessene Nachbearbeitung nötig.

col -b verwenden

man <befehl> | col -b > <dateiname>.txt

Beispiel

man ls | col -b > ls_manual.txt

Dies erstellt reinen Text, der beim Öffnen in einem normalen Texteditor nicht verstümmelt wird.

Warum einfache Umleitung nicht funktioniert

man ls > ls_bad.txt

Bei Speicherung wie oben werden Steuerzeichen wie Backspaces (von man für Formatierung wie Fett und Unterstrich verwendet, erscheinen als ^H usw.) direkt in die Datei ausgegeben. Es wird sehr schwer lesbar in Editoren außer less.

col -b filtert diese heraus und lässt nur den Text so, wie er erscheint.

Als PDF speichern

Für Druckzwecke oder wenn PDF gewünscht ist, über PostScript gehen.

macOS

man -t ls | pstopdf -i -o ls_manual.pdf

Linux

man -t ls > ls.ps
ps2pdf ls.ps ls_manual.pdf

Die Option -t gibt im PostScript-Format aus, das dann in PDF umgewandelt wird.

Übersicht der Optionen

Persönlich ist reiner Text am praktischsten. Suchen und Verarbeiten ist einfach.