• [^] # Re: Gedit et gnome terminal

    Posté par (site web personnel) . En réponse au lien Quoi de neuf dans GNOME 42 ? (sortie prévue le 23 mars 2022). Évalué à 4.

    Pour gedit, le mainteneur a demandé de retirer son projet du cœur de GNOME.

    Euh, ça serait bien de lire le rapport jusqu'à sa fin, plutôt que de relancer depuis le début une discussion qui n'a pas lieu d'être. Pour le coup, ça fait du tort au projet et aux personnes qui y sont associées.

    Il y a quelques mois, on avait déjà discuté de ce sujet avec la personne en question, mais la page a été supprimée de LinuxFr. Dans ce cas, ça pourrait être sympa de laisser un message d'erreur, une trace, expliquant la motivation derrière la suppression d'une page/discussion (demande des personnes concernées, censure pour raisons éthiques, etc. ce que je pourrais comprendre). Là, on reste sur un questionnement.

    De mémoire, le mainteneur, après avoir beaucoup travaillé et contribué, a saturé. Perso, quoi qu'il en soit, de mon côté, je tiens surtout à le remercier pour tout son temps consacrer à travailler pour Gnome. Après, que la personne en question ne soit pas parfaite, et que ça ait engendré des discussions sur le Gitlab, c'est la vie, surtout dans le cadre d'un projet coopératif.