• [^] # Re: Alpha → Beta, extensions favorites

    Posté par (site web personnel, Mastodon) . En réponse à la dépêche GNOME 3.4 : l'émergence des applications. Évalué à 3.

    sérieusement, il y a un outil qui permet, entre autres choses d'installer/activer/desactiver les shell extensions,

    C'est pour ça que j'ai écrit

    Comment fait un utilisateur non averti (qui n'utilise pas le programme non supporté)

    j'utilise gnome-tweak-tools, mais je suis un utilisateur avancé qui utilise un outil non supporté (et qui n'apparaît même pas dans l'outil de configuration). En en cherchant bien je pourrais certainement faire la même chose a la mano en touchant des clés dconf ou similaires, j'ai déjà fait un truc similaire dans le passé car utilisant la version de dev de gnome, il m'est arrivé d'avoir une extension qui crashait ma session, j'avais du nettoyer tout ça en ligne de commande, alors oui c'est possible sans navigateur web, même sans graphique, mais là n'est pas la question.

    Vraiment, il y a beaucoup de choses que j'aime dans Gnome3, et que j'attends, mais il y a deux choses dans Gnome3 qui me posent vraiment problème parce que ce n'est pas pratique et incohérent avec les directions prises et assumées, et cette gestion des extensions est une de ces deux choses. Ok c'est 'In', mais ça va à contre courant du reste du projet Gnome3 : utiliser un navigateur web pour configurer son bureau, c'est un drôle de grand écart !

    D'ailleurs jusqu'à récemment je ne pouvais pas gérer mes extensions avec Epiphany, je devais installer Firefox pour ça.

    ce commentaire est sous licence cc by 4 et précédentes