Installer le terminal Kitty avec mise sur Ubuntu

Vous cherchez un émulateur de terminal moderne et performant pour votre système Ubuntu ? Kitty est un excellent choix : rapide, riche en fonctionnalités et accéléré par GPU. Ce tutoriel vous guide pas à pas pour l’installer avec mise et l’intégrer parfaitement dans votre environnement GNOME.

À la fin de ce tutoriel, vous disposerez de Kitty comme terminal par défaut, accessible depuis le menu des applications et les menus contextuels de votre bureau GNOME.

Prérequis Link to heading

Ce tutoriel suppose que vous utilisez Ubuntu avec l’environnement de bureau GNOME et que vous savez ouvrir un terminal et exécuter des commandes de base.

Étape 1 : Installation de mise Link to heading

mise est un gestionnaire d’outils polyvalent qui nous permettra d’installer et de gérer de nombreux outils facilement.

Ouvrez votre terminal actuel et exécutez :

curl https://mise.run | sh

Vous devriez voir des messages indiquant que mise est en cours de téléchargement et d’installation. Une fois terminé, un message vous indiquera d’ajouter mise à la configuration de votre shell.

Fermez et rouvrez votre terminal, puis exécutez :

mise --version

Un numéro de version devrait s’afficher (par exemple 2024.x.x). Cela confirme que mise est installé et fonctionne correctement.

[!tip]- Exemple d’intégration dans bash Vous pourrez trouver ici comment j’ai intégré mise dans ma propre configuration bash. En particulier dans ce fichier https://gitea.logerais.com/xavier/config-bash/src/branch/master/rc.before.d/mise. J’utilise ensuite l’outil chezmoi pour gérer mes fichiers dot files incluant entre autre le fichier de configuration mise config.toml qui contient ma sélection d’outils à installer.

Vérification de l’installation Link to heading

Étape 2 : Configuration d’un alias pour Kitty Link to heading

Pour simplifier l’installation et la gestion de Kitty, nous allons configurer un alias dans mise. Cela nous permettra d’utiliser simplement kitty au lieu du chemin complet github:kovidgoyal/kitty.

Exécutez cette commande :

mise alias set kitty github:kovidgoyal/kitty

Cet alias est maintenant enregistré dans votre configuration mise (~/.config/mise/config.toml). Il permettra d’utiliser le nom court kitty dans les futures commandes mise plutôt que la syntaxe complète qui comprend le nom du backend utilisé et la référence vers le repo.

Étape 3 : Installation de Kitty avec mise Link to heading

Maintenant que mise est opérationnel et l’alias configuré, nous allons installer Kitty.

Exécutez cette commande :

mise use --global kitty@latest

Grâce à l’alias que nous avons créé, mise sait qu’il doit installer Kitty depuis le dépôt GitHub. Le téléchargement et l’installation vont débuter. Vous verrez la progression s’afficher. Cela peut prendre une minute ou deux.

Vérification de l’installation de Kitty Link to heading

mise where kitty

Vous devriez voir un chemin similaire à /home/votre-nom/.local/share/mise/installs/kitty/latest/.... Cela indique où mise a installé Kitty.

Essayez maintenant de lancer Kitty :

kitty

Une nouvelle fenêtre de terminal Kitty devrait apparaître ! Cela confirme que Kitty fonctionne. Vous pouvez fermer cette fenêtre.

Étape 4 : Intégration de Kitty dans GNOME Link to heading

Pour que Kitty apparaisse dans le menu des applications GNOME et devienne le terminal par défaut, nous allons créer un script qui génère les fichiers desktop nécessaires.

Création du script d’intégration Link to heading

Créez un nouveau fichier pour notre script :

vim ~/setup-kitty-gnome.sh

Copiez et collez l’intégralité de ce script dans l’éditeur :

#!/bin/bash

# Configuration de Kitty pour GNOME

## Détermination des chemins
KITTY_PATH=$(mise where kitty@latest)
LOCAL_SHARE="${XDG_DATA_HOME:-$HOME/.local/share}"
LOCAL_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}"
ICON_RELATIVE_PATH="share/icons/hicolor/256x256/apps/kitty.png"

## Création du fichier kitty.desktop
cat "${KITTY_PATH}"/share/applications/kitty.desktop |
  sed -E \
    -e "/^TryExec/s,kitty,${LOCAL_SHARE}/mise/shims/kitty," \
    -e "/^Exec/s,kitty,${LOCAL_SHARE}/mise/shims/kitty," \
    -e "/^Icon/s,kitty,${KITTY_PATH}/${ICON_RELATIVE_PATH}," >"${LOCAL_SHARE}/applications/kitty.desktop"

## Création du fichier kitty-open.desktop
cat "${KITTY_PATH}"/share/applications/kitty-open.desktop |
  sed -E \
    -e "/^TryExec/s,kitty,${LOCAL_SHARE}/mise/shims/kitty," \
    -e "/^Exec/s,kitty,${LOCAL_SHARE}/mise/shims/kitty," \
    -e "/^Icon/s,kitty,${KITTY_PATH}/${ICON_RELATIVE_PATH}," >"${LOCAL_SHARE}/applications/kitty-open.desktop"

## Création du fichier xdg-terminals.list
echo "kitty.desktop" >"${LOCAL_CONFIG}/xdg-terminals.list"

Exécution du script Link to heading

bash ~/setup-kitty-gnome.sh

Redémarrage de GNOME Shell Link to heading

Appuyez sur Alt+F2 sur votre clavier. Une invite de commande apparaît. Tapez r puis appuyez sur Entrée. Votre écran clignotera brièvement pendant le redémarrage de GNOME Shell.

Étape 5 : Vérification de l’intégration Link to heading

Vérifions que tout fonctionne correctement.

Appuyez sur la touche Super (touche Windows) pour ouvrir la vue Activités de GNOME
Tapez “kitty” dans la barre de recherche
Kitty devrait apparaître avec son icône

Cliquez dessus. Une nouvelle fenêtre de terminal Kitty devrait s’ouvrir.

Ouvrez Fichiers (Nautilus)
Naviguez vers n’importe quel dossier
Faites un clic droit dans une zone vide
Vous devriez voir “Ouvrir dans un terminal” dans le menu contextuel
Cliquez dessus - Kitty devrait s’ouvrir dans ce répertoire

Vérifier que Kitty est le terminal par défaut Link to heading

cat ~/.config/xdg-terminals.list

Vous devriez voir :

kitty.desktop

Cela confirme que Kitty est défini comme terminal par défaut.

Ce que nous avons accompli Link to heading

Vous disposez maintenant de :

✅ mise installé et gérant vos outils
✅ Un alias mise configuré pour Kitty
✅ Le terminal Kitty installé via mise
✅ Kitty intégré dans le menu des applications GNOME
✅ Kitty défini comme terminal par défaut
✅ La possibilité d’ouvrir Kitty depuis n’importe quel dossier dans Fichiers

Pour aller plus loin Link to heading

Maintenant que Kitty est opérationnel, vous pourriez explorer :

La documentation officielle de Kitty pour les options de personnalisation
La documentation de mise pour apprendre à gérer d’autres outils de développement
Le fichier de configuration de Kitty dans ~/.config/kitty/kitty.conf pour personnaliser votre terminal

Astuce de mise à jour : mise facilite la mise à jour de Kitty. Il suffit d’exécuter :

mise upgrade kitty

Important : Après la mise à jour, n’oubliez pas de réexécuter le script d’intégration pour mettre à jour les fichiers desktop avec le nouveau chemin d’installation :

bash ~/setup-kitty-gnome.sh

Vous disposez maintenant d’un émulateur de terminal moderne et rapide, parfaitement intégré dans votre bureau Ubuntu GNOME !