Accueil
» LINUX
»
Comment installer et personnaliser l'émulateur de terminal Kitty sous Linux
Comment installer et personnaliser l'émulateur de terminal Kitty sous Linux
Kitty est un émulateur de terminal rapide pour Linux, accéléré par GPU, avec onglets intégrés, disposition en mosaïque, gestion avancée des polices, thèmes et personnalisation poussée du clavier. Le moyen le plus rapide d'obtenir une version à jour est d'utiliser l'installateur binaire officiel de Kitty ; les paquets de distribution sont également pratiques, mais le projet indique que certaines versions peuvent être en retard par rapport à la version officielle. Après l'installation, la plupart des personnalisations s'effectuent dans le fichier `kitty.json` kitty.conf.
Étape 1 : Installez Kitty avec le programme d’installation officiel
Pour obtenir une version amont récente, ouvrez votre terminal et exécutez le programme d'installation publié par le projet Kitty :
curl -L https://sw.kovidgoyal.net/kitty/installer.sh | sh /dev/stdin
Sous Linux, Kitty s'installe dans le répertoire `/etc/kitty` ~/.local/kitty.app. Le programme d'installation modifie uniquement les fichiers contenus dans ce répertoire ; une nouvelle exécution met à jour l'installation. Consultez le guide d'installation officiel de Kitty pour les téléchargements manuels, les versions de développement, les instructions de désinstallation et l'intégration au bureau.
La commande d'installation officielle permet d'installer la version actuelle de Kitty en amont dans votre répertoire personnel.
Si vous le souhaitez kittyet kittenqu'elles sont disponibles comme des commandes normales, créez des liens symboliques dans un répertoire qui figure déjà dans votre PATH :
Étape 2 : Ou installez Kitty depuis votre distribution Linux
L'utilisation du gestionnaire de paquets de votre distribution simplifie la maintenance du système. Ces noms de paquets sont disponibles dans les principaux dépôts vérifiés pour cette mise à jour :
Distribution
Commande
Ubuntu / Debian
sudo apt update && sudo apt install kitty
Fedora
sudo dnf install kitty
Arch Linux
sudo pacman -S kitty
openSUSE
sudo zypper install kitty
Ubuntu, Debian, Fedora et Arch proposent tous des paquets Kitty dans leurs dépôts officiels. Si une fonctionnalité décrite dans la documentation Kitty actuelle est absente de votre distribution, comparez votre version installée avec la version officielle avant de tenter de résoudre le problème ; les distributions stables plus anciennes peuvent volontairement inclure des versions antérieures.
Kitty peut également être installé via le gestionnaire de paquets standard sur les principales distributions Linux.
Étape 3 : Ouvrez le fichier de configuration de Kitty
Lancez Kitty, puis appuyez sur Ctrl + Maj + F2 . Kitty ouvre son fichier de configuration dans votre éditeur et crée un exemple de configuration commenté si le fichier n'existe pas encore. Le chemin d'accès habituel par utilisateur est~/.config/kitty/kitty.conf : . Vous pouvez également le créer et le modifier manuellement :
font_sizeL'espace entre le texte du terminal et la bordure de la fenêtre est mesuré en points window_padding_width. Kitty recharge normalement automatiquement les modifications de configuration ; pour forcer un rechargement, appuyez sur Ctrl + Maj + F5 . La liste complète des options est disponible dans la documentation officielle de kitty.conf .
Un petit outil kitty.confpermet de modifier la taille du texte et les couleurs du terminal sans fenêtre de paramètres graphiques.
Étape 4 : Choisissez les polices et les thèmes, puis optimisez votre flux de travail.
Pour les polices, la méthode actuellement recommandée est le sélecteur de polices interactif de Kitty. Exécutez :
kitten choose-fonts
Il permet de prévisualiser les polices à chasse fixe installées et peut générer automatiquement la configuration de police appropriée. Le guide officiel des polices explique également font_familyla syntaxe manuelle, les polices variables et leurs fonctionnalités.
Pour les schémas de couleurs, exécutez :
kitten themes
Ceci ouvre un navigateur de thèmes interactif avec aperçus en direct. Lorsque vous sélectionnez un thème, Kitty enregistre sa configuration dans votre répertoire de configuration et la recharge. La documentation officielle des thèmes explique la création de thèmes personnalisés et le basculement automatique entre les modes clair et sombre.
Une fois la configuration enregistrée, Kitty peut refléter vos couleurs, espacements, polices et thème préférés.
Si Kitty ne se lance pas après l'installation
Commencez par exécuter kitty --versionla commande. Si votre terminal indique que la commande est introuvable après l'utilisation du programme d'installation officiel, essayez la commande suivante~/.local/kitty.app/bin/kitty ; si cela fonctionne, le problème vient de votre variable d'environnement PATH ou d'un lien symbolique manquant, et non de Kitty lui-même. Si vous utilisez un paquet de distribution, actualisez les métadonnées du paquet et vérifiez qu'il kittyest bien installé sur votre système. Si Kitty se lance mais qu'une nouvelle configuration provoque un comportement inattendu, redémarrez-le temporairement ~/.config/kitty/kitty.confavec ses paramètres par défaut, puis réintroduisez vos modifications progressivement.
Kitty gère également plusieurs fenêtres de terminal sans multiplexeur externe. Appuyez sur Ctrl + Maj + Entrée pour créer une autre fenêtre Kitty dans l'onglet actuel, Ctrl + Maj + L pour changer de disposition et Ctrl + Maj + T pour ouvrir un nouvel onglet. Ces raccourcis sont personnalisables ; kitty.confainsi, une fois l'installation et l'apparence configurées, vous pouvez adapter Kitty à votre shell et à votre flux de travail de développement sans modifier le reste de votre environnement Linux.