Codec

Non ci fermiamo troppo sui dettagli e vediamo come far funzionare velocemente le cose.
Per prima cosa mettiamo dei buoni repository.
Poi diamo i comandi sottostanti (dei primi tre solo quello relativo alla propria distribuzione)

• Ubuntu e Edubuntu
  

sudo apt-get install gstreamer0.10-fluendo-mp3 gstreamer0.10-ffmpeg gstreamer0.10-pitfdll gstreamer0.10-plugins-bad gstreamer0.10-plugins-bad-multiverse gstreamer0.10-plugins-ugly gstreamer0.10-plugins-ugly-multiverse totem-xine libxine-extracodecs mplayer libdvdcss2

• Kubuntu

sudo apt-get install libxine-extracodecs libarts1-mpeglib libarts1-xine libakode2-mpeg mplayer libdvdcss2

• Xubuntu

sudo apt-get install libxine-extracodecs libdvdcss2

• Codec Windows

Per sistemi a 32 bit:

sudo apt-get install w32codecs

Per i sistemi a 64 bit da feisty in poi (per le versioni precedenti non ci sono...):

sudo apt-get install w64codecs

• Real Player

Disponibile solo per i sistemi a 32 bit:

sudo apt-get install realplay

• Vlc

Un player consigliatissimo in grado di leggere numerosi formati senza necessitare di codec esterni (sono integrati nel programma) è vlc:

sudo apt-get install vlc

In alcuni casi questo programma ha dei problemini con l'audio ("gracchia" un po').
Per ovviare diamo il comando:

sudo apt-get install vlc-plugin-nome_demone

Dove al posto di nome_demone dobbiamo mettere esd (se usiamo ubuntu) o arts (se usiamo kubuntu).
Infine selezionare tale "demone" come output audio nelle preferenze di vlc.