Dopo aver installato gnome-shell 3.4.1 su Debian Sid, sul sito ufficiale dell'estensioni, ho trovato due estensioni interessanti e che non conoscevo. La prima è Shell OSD, che non fa altro che spostare l'area della notifica, dalla zona in basso centrale, a quella in alto a destra, che secondo me è la zona migliore. [...] No related posts.

Inserire un testo in un file pdf, ad inizio pagina può servire anche a "marchiare" un proprio pdf. Un metodo veloce è il seguente: # apt-get install enscript pdftk e poi qualcosa di simile: echo "Testo stampato su pdf." | enscript -B -f Courier-Bold18 -p- | ps2pdf – | pdftk input.pdf [...] No related posts.

Come si può vedere qua, gnome-shell 3.4.1 è arrivato finalmente nei repo experimental. Io l'ho installato e non ho notato nessun problema di sorta. Ho installato anche un po di estensioni, e sono tutte funzionanti. Voglio segnalare una estensione che ho appena scoperto, Panel-Docklet v13, molto utile per una customizzazione di gnome-shell, da la [...] No related posts.