Categoria: Senza categoria

In Ubuntu Unity esiste già uno sfondo del desktop dinamico che cambia durante il giorno selezionando le immagini della directory /usr/share/backgrounds, però dopo un pó mi sono stufato di vedere sempre le stesse immagini...

Faccio fatica a ricordarmi i comandi per rimuovere un tag o un branch da un repository Git sul server remoto. In realtà non è così difficile se ci ricordiamo della sintassi del comando git...

Se il laptop non si spegne o non va in ibernazione quando la batteria ha raggiunto un livello critico, il problema può esser dovuto alla implementazione del “time remaining” del ACPI. Ho risolto il...

Apri il file /usr/share/mime/packages/freedesktop.org.xml e cerca application/xml, quindi aggiungi <glob pattern=”*.zcml”/>. Il file dovrà esser cosí: <mime-type type=”application/xml”>…<glob pattern=”*.zcml”/>…</mime-type> Adesso esegui questo comando da un terminale: $ sudo update-mime-database /usr/share/mime Riavvia GEdit e adesso...

Questo metodo utilizza i file del tipo .cue che spesso trovate insieme ai .flac Prima di tutto dobbiamo installare i seguenti pacchetti cuetools shntool flac. Potete usare il Synaptic o questo comando: $ sudo...

In effetti a noi informatici non ci piacciono gli accenti, né la ñ (egne) spagnola, né qualsiasi altro carattere che non sia compreso nei 127 della tabella ASCII. José mi faceva notare che “Una...

La settimana scorsa è uscita la nuova version di Ubuntu, Gutsy Gibbon 7.10. Ci sono alcune novità interessanti: Gnome 2.20 il desktop in 3D, Compiz Fusion è abilitato come default, anche se può esser...

Nel titolo ho scritto “per tutti” perché i programmi che cito non funzionano solo in Linux, anzi sono stati creati con la idea di essere multipiattaforma, cioè potete usarli anche in Windows o Mac...