Trucchetto veloce veloce per la creazione di un file pdf per una pagina man specifica. Ipotizzando che ci serve il man di ffmpeg, per ottenerlo basta un semplice:
$ man -t ffmpeg | ps2pdf - ffmpeg.pdf
enjoy 😉
Debian Gnu-Linux Opensource
Per una buona visione di una pagina man, può risultare comodo installare un pager alternativo come most, che si trova nei repository di tutte le distro. Per visionare quindi la pagina man di most con le opzioni colorate, si può usare:
$ man --pager=most most
ma il comando sopra può risultare scomodo, per ovviare e rendere definitivo il tutto:
$ nano $HOME/.bashrc
ed incollare in fondo:
export MANPAGER="/usr/bin/most"
enjoy 😉
Questo è un piccolo trucchetto che secondo me può risultare molto utile quando si consulta da terminale una pagina man. Spesso infatti spulciando il man di un determinato programma, si apprendono nuove informazioni e nuovi comandi, ma una volta premuto il tasto q e si esce dal man, l'informazione o il comando non è più visibile, di conseguenza ci si trova nella situazione di tenere aperte due shell. Per ovviare a questo problema basta modificare .bashrc:
$ echo "export LESS='FiX'" >> ~/.bashrc
enjoy 😉
A me capita spesso di consultare le pagine man, e sinceramente ho sempre trovato scomodo consultarle nel terminale, specie quando la documentazione è molto lunga. Un altro problema può essere quello di non ricordare il termine esatto, e quindi si perde tempo ulteriormente. Molto spesso succede che si scopre e si impara qualcosa di nuovo, leggendo un documento che ti porta ad un altro ed ad un altro ancora, ma questo non può succedere se si consulta il man nel terminale così come lo conosciamo, poichè la ricerca del tipo "man apache" si limita solamente a quella documentazione, e quindi non ci si imbatterebbe in cose nuove. Però a questo c’è una soluzione secondo me eccezionale, ed è quella di servirsi del nostro browser. Gli utenti KDE ( che io non uso) hanno in konqueror questa opzione, ma per gli utenti Gnome bisogna utilizzare la visualizzazione nel nostro browser. Per ottenere questo basta installare:
apt-get install apache2 man2html
e poi puntare il nostro browser su:
https://localhost/cgi-bin/man/man2html
che io tengo memorizzato nei segnalibri. Su questa pagina troveremo numerose opzioni di ricerca ben suddivise, e la documentazione non è mai stata così semplice da spulciare.