Man page: Difference between revisions
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
== manpdf == | == manpdf == | ||
Creating pdfs of manpages is really useful! But it's hard to remember the command. So create a bash script that's in your path (for instance ~/bin/manpdf), with: | |||
<source lang="bash"> | <source lang="bash"> | ||
#!/bin/bash | #!/bin/bash | ||
Line 11: | Line 11: | ||
</source> | </source> | ||
And be sure to chmod +x it so that you can then use it anytime you want to generate a PDF for intensive consulation. | |||
For example: | |||
manpdf mplayer | manpdf mplayer | ||
to create mplayer.pdf |
Revision as of 16:29, 31 January 2020
man -t ls | ps2pdf - > ls.pdf
manpdf
Creating pdfs of manpages is really useful! But it's hard to remember the command. So create a bash script that's in your path (for instance ~/bin/manpdf), with:
#!/bin/bash
man -t $1 | ps2pdf - > $1.pdf
And be sure to chmod +x it so that you can then use it anytime you want to generate a PDF for intensive consulation.
For example:
manpdf mplayer
to create mplayer.pdf