Articles taggés avec shell

  1. Réinitialiser la grille d'applications de GNOME 3

    Après installations, désinstallations, déplacement d'icônes et erreurs éventuelles de manipulation. Pour remettre la grille d'applications du shell GNOME d'équerre, il suffit de taper dans un Terminal:

    gsettings reset org.gnome.shell app-picker-layout 
    

    Puis, de se déloguer, et se reloguer.