Installez Gedit sur Ubuntu 22.10 et faites-en l’éditeur de texte par défaut


  • FrançaisFrançais



  • GNOME a un tout nouvel éditeur de texte pour remplacer le bon vieil éditeur Gedit.

    Alors qu’il était déjà disponible avec GNOME 42, Ubuntu 22.04 s’appuyait sur Gedit.

    Cela change dans Ubuntu 22.10. L’éditeur de texte GNOME est la valeur par défaut ici et Gedit n’est même pas installé.

    éditeur de texte ubuntu
    La recherche d’un éditeur de texte n’apporte que l’éditeur de texte GNOME

    Bien que le nouvel éditeur soit assez bon, tout le monde ne l’aimerait pas. C’est surtout si vous utilisez intensivement Gedit avec des plugins supplémentaires.

    Si vous faites partie de ces personnes, laissez-moi vous montrer comment installer Gedit sur Ubuntu. Je vais également partager comment vous pouvez en faire l’éditeur de texte par défaut.

    Installer Gedit sur Ubuntu

    C’est en fait une évidence. Bien que Gedit ne soit pas installé par défaut, il est toujours disponible dans les référentiels Ubuntu.

    Donc, tout ce que vous avez à faire est d’utiliser la commande apt pour l’installer :

    sudo apt install gedit

    Gedit est également disponible dans le centre logiciel, mais il s’agit du package snap. Vous pouvez l’installer si vous le souhaitez.

    installer gedit depuis le centre de logiciels ubuntu
    Gedit est également disponible dans le Snap Store d’Ubuntu

    Installer les plugins Gedit (facultatif)

    Par défaut, Gedit vous donne la possibilité d’accéder à quelques plugins. Vous pouvez activer ou désactiver les plugins depuis le menu->préférences->plugins.

    accéder aux plugins dans gedit
    Accéder aux plugins dans Gedit

    Vous devriez voir les plugins disponibles ici. Les plugins installés ou en cours d’utilisation sont vérifiés.

    plugins dans gedit
    Voir les plugins disponibles et installés dans Gedit

    Cependant, vous pouvez faire passer la sélection de plugins au niveau supérieur en installant le méta-paquet gedit-plugins.

    sudo apt install gedit-plugins

    Cela vous donnera accès à des plugins supplémentaires tels que les signets, l’achèvement des parenthèses, la console Python et plus encore.

    plugins supplémentaires gedit
    Plugins Gedit supplémentaires

    Pointe: Si vous remarquez que Gedit semble un peu déplacé à cause du manque de coins inférieurs, vous pouvez installer une extension GNOME appelée Coin inférieur arrondi. Cela forcera les coins inférieurs arrondis pour toutes les applications, y compris Gedit.

    Faire de Gedit l’éditeur de texte par défaut

    Très bien! Vous avez donc installé Gedit mais les fichiers texte s’ouvrent toujours dans l’éditeur de texte GNOME avec une action de double-clic. Pour ouvrir un fichier avec Gedit, vous devez faire un clic droit puis sélectionner l’option “ouvrir avec”.

    Si vous voulez que Gedit ouvre tout le temps des fichiers texte, vous pouvez le définir par défaut.

    Faites un clic droit sur un fichier texte et choisissez l’option “ouvrir avec”. Sélectionnez Gedit ici et activez l’option “Toujours utiliser pour ce type de fichier” en bas.

    définir gedit par défaut
    Définir Gedit comme éditeur de texte par défaut

    Supprimer Gedit

    Vous ne pensez pas que Gedit est à la hauteur ? C’est rare, mais je ne te juge pas. Pour supprimer Gedit d’Ubuntu, utilisez la commande suivante :

    sudo apt remove gedit

    Vous pouvez également essayer de le désinstaller à partir du centre de logiciels.

    Conclusion

    L’éditeur de texte GNOME est l’éditeur de nouvelle génération créé à partir de zéro qui se marie bien avec le nouveau GNOME.

    C’est assez bon pour l’édition de texte simple. Cependant, Gedit a un écosystème de plugins qui donne plus de fonctionnalités.

    Pour ceux qui l’utilisent intensivement pour le codage et d’autres choses, l’installation de Gedit est toujours une option dans Ubuntu.

    Qu’en pensez-vous? Allez-vous vous en tenir au nouvel éditeur de texte par défaut ou reviendrez-vous au bon vieux Gedit ?


    Source

    N'oubliez pas de voter pour cet article !
    1 Star2 Stars3 Stars4 Stars5 Stars (No Ratings Yet)
    Loading...

    La Rédaction

    L'équipe rédactionnnelle du site

    Pour contacter personnellement le taulier :

    Laisser un commentaire

    Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *