« Trucs:Convertir les pages man en pdf » : différence entre les versions
Aller à la navigation
Aller à la recherche
mAucun résumé des modifications |
mAucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
<div class="leapar">Xavier<xgarreau | <div class="leapar">Xavier <xgarreau chez club-internet.fr></div> | ||
Vous voulez vous initier au bash (par exemple) et on vous a dit de faire < | Vous voulez vous initier au bash (par exemple) et on vous a dit de faire <code>man bash</code>, seulement voilà, vous êtes allergique aux pages de manuel ! | ||
Cette astuce va vous permettre de vous faire un | Cette astuce va vous permettre de vous faire un '''pdf''' à partir de la page de manuel. | ||
Tapez : <code>man -t bash > | Tapez : <code>$ man -t bash > bash.ps | ||
ps2pdf bash.ps && rm -f bash.ps</code> | $ ps2pdf bash.ps && rm -f bash.ps</code> | ||
ou directement : | ou directement : | ||
<code multi>man -t bash | ps2pdf - bash.pdf</code> | <code multi>$ man -t bash | ps2pdf - bash.pdf</code> | ||
Vous aurez ainsi un fichier < | Vous aurez ainsi un fichier <code>bash.pdf</code> que vous pourrez lire, comme un autre, avec xpdf, Ghostview ou Acrobat reader par exemple.. | ||
[[Catégorie:Trucs_Shell]] | [[Catégorie:Trucs_Shell]] | ||
Version du 22 juillet 2008 à 20:41
Xavier <xgarreau chez club-internet.fr>
Vous voulez vous initier au bash (par exemple) et on vous a dit de faire man bash, seulement voilà, vous êtes allergique aux pages de manuel !
Cette astuce va vous permettre de vous faire un pdf à partir de la page de manuel.
Tapez : $ man -t bash > bash.ps
$ ps2pdf bash.ps && rm -f bash.ps
ou directement :
$ man -t bash | ps2pdf - bash.pdf
Vous aurez ainsi un fichier bash.pdf que vous pourrez lire, comme un autre, avec xpdf, Ghostview ou Acrobat reader par exemple..