La soluzione definitiva è invece aprire i file da terminale con la seguente stringa:
- Codice: Seleziona tutto
export XLIB_SKIP_ARGB_VISUALS=1 && vlc NOMEFILE.AVI
oppure, più semplicemente, aprire vlc con:
- Codice: Seleziona tutto
export XLIB_SKIP_ARGB_VISUALS=1 && vlc
e poi manualmente i video dal programma.
Poiché però la cosa potrebbe risultare rognosa, ecco un bel modo per automatizzare il tutto con uno scriptino in bash:
1. Apriamo gedit o un qualsiasi blocco note e incolliamo quanto segue:
- Codice: Seleziona tutto
#!/bin/bash
export XLIB_SKIP_ARGB_VISUALS=1 && vlc "$1"
2. Diamogli un nome semplice (io l'ho chiamato vlcpatched);
3. Da terminale diamogli i permessi di esecuzione:
- Codice: Seleziona tutto
chmod +x vlcpatched
4. Spostiamolo in una directory path:
- Codice: Seleziona tutto
sudo mv vlcpatched /usr/local/bin
E il gioco è fatto. A questo punto basta impostare il nuovo comando come predefinito per l'apertura dei contenuti video.
Ringrazio elrond e kapello per l'aiutino fornitomi in questo post:
http://forum.ubuntu-it.org/viewtopic.php?p=1946050#p1946050
Bye


