Archivi tag: estensioni

Eseguire codice python in gedit

Salve a tutti! Riprendo al volo il blog per aiutare un lettore (ciao Stefano!) che ha commentato il mio precedente post completamento testo in gedit dicendo: manca solo la possibilità di avviare il mio codice python direttamente da gedit e … Continua a leggere

Pubblicato in informatica, linux, mini guide | Contrassegnato , , , , , , , , , , | 3 commenti

Intervista a GCampax, italianissimo coder di Gnome e delle sue estensioni!

Bentrovati ragazzi! Post speciale quest’oggi, ho infatti il piacere di presentarvi la mia prima intervista! Avendo avuto modo di conoscere Giovanni Campagna, l’italianissimo manutentore della pluriscaricata estensione dock di gnome-shell e di tantissime altre! Ho ben pensato di chiedergli un’intervista … Continua a leggere

Pubblicato in informatica, linux | Contrassegnato , , , , , , , , , , , , , , | Lascia un commento

Aggiungiamo un po’ di Unity in Gnome Shell

Non uso Ubuntu. L’ho usato ai suoi inizi, l’ho apprezzato moltissimo, ma ora non lo uso. Troppi cambiamenti, troppo distacco dal main stream, troppo VIP per un tipo fondamentalmente underground come me. Ho però Ubuntu installata sul mio computer, ultima … Continua a leggere

Pubblicato in informatica, linux, mini guide | Contrassegnato , , , , , , , , , | 7 commenti

extension.gnome.org: la rivoluzione che nessuno nota

Riassunto: In principio c’era gnome2, che era figo ma parecchio figo, ma un po’ vetusto. Dopo venne gnome3, che era al passo coi tempi ma ancora da rifinire con martelletto e scalpelletto. Nel mentre che si aspettava, i bravi designatori … Continua a leggere

Pubblicato in informatica, linux | Contrassegnato , , , , | 1 commento