Das Terminal ist nicht unbedingt der ideale Ort zum Lesen von Dokumentationen für Linux-Befehle. Zwar sind die Man-Pages nur ein paar Tastendrücke entfernt. Bequemer lassen sich Dokumentationen als PDF-Dokument lesen – und auch abspeichern.
Der Man-Befehl ist nämlich in der Lage, mit einem besonderen Parameter auch Postscript-Dateien zu generieren. Die lassen sich anschließend entweder mit einem Reader lesen oder weiter ins PDF-Format überführen. Hier die nötigen Schritte:
man -t bash > bash.ps # Schreibt die Hilfe für bash nach bash.ps
ps2pdf bash.ps # Macht ein PDF daraus
Letzteres Kommando ist Bestandteil von Ghostscript und ist meistens installiert. Am Mac lässt es sich über Homebrew einrichten
(brew install gs).
Moderne Alternativen zu klassischen Man-Pages
Während der klassische man-Befehl nach wie vor funktioniert, haben sich inzwischen praktischere Alternativen etabliert. Das Tool tldr etwa bietet eine deutlich übersichtlichere Darstellung mit praktischen Beispielen. Installiert wird es über den Node Package Manager:
npm install -g tldr
tldr bash # Zeigt kompakte Beispiele für bash-Befehle
Ein weiterer Game-Changer ist bat – ein cat-Ersatz mit Syntax-Highlighting und integriertem Pager. Kombiniert mit man entstehen deutlich besser lesbare Dokumentationen:
# Installation über Package Manager
sudo apt install bat # Ubuntu/Debian
brew install bat # macOS
Verwendung als Man-Page Reader
export MANPAGER="sh -c 'col -bx | bat -l man -p'"
man git # Zeigt git-Dokumentation mit Syntax-Highlighting
PDF-Generierung optimieren
Der klassische Weg über Postscript funktioniert, lässt sich aber deutlich streamlinen. Mit einem einfachen Bash-Script automatisiert ihr den gesamten Prozess:
#!/bin/bash
man2pdf.sh - Konvertiert Man-Pages direkt zu PDF
if [ $# -eq 0 ]; then
echo "Verwendung: $0 [Befehlsname]"
exit 1
fi
COMMAND=$1
man -t $COMMAND | ps2pdf - "${COMMAND}_manual.pdf"
echo "PDF erstellt: ${COMMAND}_manual.pdf"
Das Script speichert ihr unter /usr/local/bin/man2pdf und macht es ausführbar:
sudo cp man2pdf.sh /usr/local/bin/man2pdf
sudo chmod +x /usr/local/bin/man2pdf
man2pdf git # Erstellt git_manual.pdf
Browser-basierte Dokumentation
Viele moderne Tools setzen inzwischen auf webbasierte Dokumentation. Das Tool mdbook etwa konvertiert Markdown-Dateien in durchsuchbare HTML-Dokumentationen. Für häufig verwendete Befehle lohnt sich auch ein Blick auf cheat:
# Installation von cheat
go install github.com/cheat/cheat/cmd/cheat@latest
Verwendung
cheat tar # Zeigt praktische tar-Beispiele
cheat -e tar # Öffnet eigene Cheat-Sheet zum Bearbeiten
Integration in moderne Workflows
Wer regelmäßig mit verschiedenen Linux-Systemen arbeitet, sollte seine Dokumentations-Workflows standardisieren. Ein praktischer Ansatz ist die Verwendung von Dotfiles, die automatisch die besten Tools installieren und konfigurieren:
# In der .bashrc oder .zshrc
alias manpdf='man -t $1 | ps2pdf - ~/Documents/manuals/$1.pdf'
alias helpme='tldr $1 || man $1'
Funktion für bessere Man-Page Darstellung
function man() {
LESS_TERMCAP_md=$'e[01;31m'
LESS_TERMCAP_me=$'e[0m'
LESS_TERMCAP_se=$'e[0m'
LESS_TERMCAP_so=$'e[01;44;33m'
LESS_TERMCAP_ue=$'e[0m'
LESS_TERMCAP_us=$'e[01;32m'
command man "$@"
}
Fazit: Das Beste aus beiden Welten
Die PDF-Konvertierung von Man-Pages bleibt auch 2026 ein nützlicher Trick – besonders für offline-Dokumentation oder wenn ihr Inhalte annotieren wollt. Moderne Tools wie tldr, bat und cheat bieten aber oft die bessere User Experience für den täglichen Gebrauch.
Die Kombination aus klassischen Man-Pages für vollständige Referenzen und modernen Tools für Quick-Help hat sich in der Praxis bewährt. Probiert verschiedene Ansätze aus und findet heraus, was am besten zu eurem Workflow passt.
Zuletzt aktualisiert am 09.04.2026

