Manuali in formato pdf

Spesso capita di dover rintracciare un’opzione specifica di un dato comando.

La lettura del manuale attraverso la shell, puo’ risultare gravosa per la vista soprattutto se l’operazione e’ ripetuta frequentemente.

Con una semplice procedura e’ possibile porre rimedio a tale imprevisto generando una versione pdf stampabile delle man-pages desiderate.

Di seguito sono riportati i due passi fondamentali, coi relativi commenti, da seguire nel caso del compilatore gcc:

1. Formattazione in PostScript
$ man -t gcc > gcc.ps

2. Conversione in formato pdf ed eliminazione file ps
$ ps2pdf gcc.ps && rm -f gcc.ps

Winkey - KDE 3.5.4

Esiste un modo per utilizzare il tasto windows, presente sulla tastiera, per avviare il Kmenu? Si.

La procedura da seguire e’ semplice e puo’ essere portata a termine velocemente.

Copia della keymap table corrente
$ xmodmap -pke > .xmodmap

Apertura di .xmodmap
$ pico .xmodmap

Modifica del file
keycode 115 = ISO_Level3_Shift

Impostazione delle relative opzioni nel centro di controllo (Regional&Accessibility)
Keyboard Layout —> Xkb Options –> Enable xkb options –> Third level choosers –> Press any of Win-keys to choose 3rd level
Keyboard Shortcuts —> Shortcut Schemes –> Panel –> Popup Launch Menu

Creazione di uno script in $HOME/.kde/Autostart per il caricamento dei settaggi personali ad ogni avvio
$ pico xmodmap_auto
#!/bin/sh
xmodmap /path/to/.xmodmap
$ chmod +x xmodmap_auto

Per completezza desidero segnalare un inconveniente: puo’ capitare di dover rimappare alcuni meta-tasti che consentono l’uso di simboli speciali.