VLC и MPlayer используют FFmpeg (+ некоторые другие) кодеки для воспроизведения медиафайлов, но не gstreamer (например, fluendo-mp3). Я понимаю, что это невозможно изменить с помощью аргументов или конфигурации, поскольку он не был реализован.
Чтобы быть уверенным, что вы используете, скажем, файлообменник fluendo mp3 (flump3dec), используйте командной строки, аналогичной этой:
gst-launch-0.10 filesrc location=file.mp3 ! flump3dec ! audioconvert ! pulsesink
Другое программное обеспечение может обеспечить способ проверки того, какие элементы gstreamer используются для операций с носителями.
(Чтобы добавить к путанице, это также можно использовать FFmpeg через gstreamer, но это не то, что вы хотите.)
Открыть синаптический. Найдите «linux-image». Выберите все версии, которые вы не используете (возможно, 2.6.32-36-generic и ниже). Щелкните правой кнопкой мыши, отметьте для удаления, затем нажмите применить.