• [^] # Re: Debian

    Posté par (site web personnel, Mastodon) . En réponse au journal Un site d'extensions pour GNOME-shell. Évalué à 1.

    A propos de l'intégration faite par Debian :

    Les développeurs Debian ont aussi travaillés à dinstinguer le script gnome-session et gnome-session-fallback pour pouvoir sélectionner le mode avant le lancement de la session (donc depuis gdm). C'est vraiment un plus à mon avis, car cela permet d'éviter beaucoup de déconnexions inutiles.

    Je me demandais, si ça ne sera pas plus simple avec gdm 3.2 : en effet, comme cette version utilise également le panel de gnome-shell, alors on pourrait faire une extension du panel du gnome-shell pour gdm qui propose le type de session à lancer. Ça serait vraiment chouette et beaucoup moins spécifique à une distribution, mais je ne sais pas s'ils ont pensés à ce genre d'utilisation pour le panel de gdm.