J’ai une Debian sid toute propre de 2 semaines… et y’a qq comportements qui déjà m’interrogent:
Sous Gnome, j’essaie de rajouter des themes via le “Theme Manager” (Menu => Desktop -> Preferences -> Theme). J’ai essayé le drag’n’drop, l’installation via la commande “Install Theme…”. Tout se déroule “bien” (décompression, message rassurant…), mais les themes n’apparaissent pas dans la liste .
J’ai aussi essayé d’en installer via apt:
‘apt-get install gnome-icon-theme-gartoon’ -> même punition même motif; impossible de choisir le nouveau theme dans la liste .
Bug, manip évidente qui m’a échappée…? Curieux tout de même
EDIT : eh bien une fois close… c’était effectivement bien la manip évidente qui m’avait échappée