J’avais installé, sur ma Debian Sid/experimental, le driver propriétaire fglrx-driver (sur un Dell Vostro 1000). Malheureusement, à la dernière mise à jour de Gnome-shell (dans sa version 3.8), grosse panique et plantage de l’affichage. Après quelques recherches sur internet, il apparaît que le pilote propriétaire pose problème à nombre d’utilisateurs.
Du coup, j’ai décidé de réinstaller le pilote libre proposé par Debian.
Pré-requis
Il faut vérifier que linux-firmware est bien installé.