Le migliori estensioni per GNOME 3

In alcuni post precedenti riguardanti GNOME 3 ho citato un portale ufficiale contenente una vasta collezione di utili estensioni, in grado di aggiungere nuove funzionalità o – per i nostalgici – ripristinare elementi della precedente “versione” di GNOME. Vediamo ora una rassegna delle estensioni più interessanti: la scelta dipende ovviamente dai gusti personali, perciò se ne conoscete o usate altre rispetto a quelle citate non esitate a condividere la vostra esperienza attraverso i commenti.

Dopo questa (breve) introduzione è arrivato il momento di dare un’occhiata alla nostra lista, in rigoroso ordine alfabetico.Continua a leggere…

Annunci

Conversione di file multimediali con VLC

VLC Media Player è uno dei riproduttori multimediali più diffusi grazie al supporto di pressoché qualsiasi formato audio e video, senza la necessità di ricorrere a codec e librerie esterne, e alla compatibilità con un’enorme varietà di sistemi operativi. Sotto le spoglie di un semplice riproduttore di file audio e video si nasconde in realtà un’applicazione dotata di numerose funzionalità sconosciute o non utilizzate, tra le quali la possibilità di effettuare la conversione tra numerosi formati audio e video: sono disponibili dei profili di conversione pronti all’uso così come è possibile crearne di nuovi ad hoc o modificare quelli esistenti, regolandone nei minimi dettagli le impostazioni. Non lasciatevi ingannare: l’essere principalmente un riproduttore multimediale non impedisce a VLC di competere ad armi pari con svariati programmi di conversione disponibili gratuitamente.Continua a leggere…