#!/bin/bash #es werden die Tools enscript, poppler-utils und ghostscript benötigt, um dieses Skript auszuführen! echo ""; echo "Bitte gib den Namen des Tools ein, dessen Manpage du als PDF generieren möchtest, z.B. 'man'."; read tool; man $tool > 'man_'$tool'.txt'; enscript -p 'man_'$tool'.ps' 'man_'$tool'.txt' >/dev/null 2>&1; ps2pdf 'man_'$tool'.ps' 'man_'$tool'.pdf'; rm man_$tool.txt man_$tool.ps; echo ""; echo "Und jetzt?"; while : do echo ""; echo "###"; echo "Im Homeverzeichnis speichern: [S]"; echo "Im Homeverzeichnis speichern und ausdrucken: [SD]"; echo "Nur Ausdrucken: [D]" echo "Abbrechen und die generierte Datei löschen: [X]"; echo "###"; echo ""; read foo; case $foo in s) echo "" mv man_$tool.pdf $HOME/ echo "Die Manpage wurde unter dem Namen man_"$tool".pdf in deinem Home-Verzeichnis abgelegt." break ;; S) echo "" mv man_$tool.pdf $HOME/ echo "Die Manpage wurde unter dem Namen man_"$tool".pdf in deinem Home-Verzeichnis abgelegt." break ;; sd) echo "" lp -d [$DRUCKERNAME] man_$tool.pdf mv man_$tool.pdf $HOME/ echo "Die Manpage wurde an den Drucker geschickt und unter dem Namen man_"$tool".pdf in deinem Homeverzeichnis abgelegt." break ;; SD) echo "" lp -d [$DRUCKERNAME] man_$tool.pdf mv man_$tool.pdf $HOME/ echo "Die Manpage wurde an den Drucker geschickt und unter dem Namen man_"$tool".pdf in deinem Homeverzeichnis abgelegt." break ;; d) echo "" echo "Sende Druckbefehl ..." lp -d [$DRUCKERNAME] man_$tool.pdf echo "Sollte jetzt ausgedruckt werden." break ;; D) echo "" echo "Sende Druckbefehl ..." lp -d [$DRUCKERNAME] man_$tool.pdf echo "Sollte jetzt ausgedruckt werden." break ;; x) echo "" rm man_$tool.pdf echo "Ok, dann eben nicht." break ;; X) echo "" rm man_$tool.pdf echo "Ok, dann eben nicht." break;; *) echo "" echo " R T F M " echo "" esac done echo "";