loran4444 wrote:CanalGuada wrote:
Il faut d'abord être dans la vue "Activités" pour pouvoir switcher...
Ah oui. Très utile si tu as perdu ta souris.
Pourquoi pas un mot de passe en plus? :-D
Pour aller dans "Activités" il suffit d'appuyer sur la touche "super" ou alt+F1, ensuite tu peux switcher : pas besoin de souris 😉
loran4444 wrote:
Bon, sinon, j'adore cette interface, c'est mon seul reproche.
L'extension proposée plus haut répare ce petit manque.
Et à ceux qui trouvent que "ça casse toute la pensée de Gnome-Shell", je répondrai que l'ÉNORME avantage des systèmes libres, c'est qu'ils sont modifiables. L'utilisateur peut à tout moment procéder à des choix.
Croire qu'un logiciel libre impose une méthode, c'est ne pas croire aux logiciels libres.
On est d'accord, l'avantage c'est qu'ils sont modifiables, et d'ailleurs c'est pour ça que Gnome-shell a été conçu pour ajouter très facilement des extensions 🙂
Pour moi, la pensée de Gnome-shell c'est d'être accessible à n'importe qui, à n'importe quel moment, avec n'importe quel outil. Si tu modifie trop les paramètres, il y aura un moment où ça peut coincer. Par exemple, le jour où tu veux y accéder via un smartphone (à travers VNC), tu seras content que la barre pour fermer ton appli soit aussi grosse. Après si tu n'accèdes au shell qu'avec ton ordi, alors oui tu peux diminuer la taille de cette barre.
De toute manière chacun fait bien ce qu'il veut avec son ordi ! :hammer: J'ai décidé de ne pas toucher au shell, mais c'est personnel.