Convertire pagina man in pdf

 

 

 

 

 

Questi comandi sono rivolti agli amanti della shell. Per convertire una pagina man in formato pdf è molto semplice, basta eseguire dei semplici passaggi:

man -t man_scelto > man_scelto.ps

ps2pdf man_scelto.ps && rm-f man_scelto.ps

Facendo l’esempio con la pagina man di mplayer:

man -t mplayer> mplayer.ps

ps2pdf mplayer.ps && rm -f mplayer.ps

 

Migliorare Iceweasel o Firefox

Esiste la possibilità di fare delle migliorie ad Iceweasel e quindi anche a Firefox. Le migliorie non fanno altro che abbellire per così dire il nostro browser, e rendere quindi molto più definite le linee ed i pulsanti. Bisogna seguire pochi semplici passaggi:

wget

tar -xvzf firefox-form-widgets.tar.gz

da root

cp /usr/share/iceweasel/res/forms.css /usr/share/iceweasel/res/forms.css.bak

cat firefox-form-widgets/res/forms-extra.css | tee –append /usr/share/iceweasel/res/forms.css > /dev/null

cp -r firefox-form-widgets/res/form-widgets /usr/share/iceweasel/res

exit

rm -rf firefox-form-widgets

Le migliorie sono molto evidenti. Provare per credere.

 

 

Cal dentro la shell

A volte alcune cose si dimenticano, e meno male che c’è la shell a ricordarseli. Io per esempio non mi ricordavo più, il giorno della settimana in cui sono nato, ed allora mi sono ricordato di cal.

 

cal

mostra il mese attuale

 

cal -y

mostra l’intero anno

 

cal -3

mostra insieme al mese attuale quello precedente e quello successivo

 

cal gennaio 1971

mi ha dato finalmente il mese in cui io sono nato, e quindi ho potuto ricordarmi che il giorno della settimana era un venerdì Azz sono invecchiato, era meglio se non usavo cal