Dolphin est le gestionnaire de fichiers préféré de nombreux utilisateurs de KDE. C’est simple mais pas idiot, et il peut devenir très puissant grâce aux menus de service.
Dans KDE, les menus de service sont des scripts personnalisés qui apparaissent dans le menu contextuel (menu contextuel) de la fenêtre de l’application. Ils sont enregistrés en tant que fichiers .desktop, généralement dans le dossier « /home/$USER/.kde/share/kde4/services », bien que cela puisse varier en fonction de votre distribution Linux. Vous pouvez écrire vos propres scripts pour étendre les fonctionnalités de Dolphin avec des actions telles que « Extraire l’archive ici », « Ouvrir en tant que root » ou « Comparer les fichiers ». Bien sûr, de nombreux menus de services gratuits sont déjà disponibles sur KDE-Look.org et KDE-Apps.org, et Dolphin Folder Color est l’un d’entre eux.
Si vous souhaitez modifier la couleur des icônes de vos dossiers sans installer un nouveau jeu d’icônes, Dolphin Folder Color est une excellente solution. C’est un moyen rapide et pratique de coder en couleur vos dossiers pour une meilleure organisation. Vous pouvez également l’utiliser pour faire correspondre les icônes de dossier à la palette de couleurs générale de votre bureau.
Dolphin Folder Color peut être téléchargé en tant qu’archive tar.gz à partir du site Web KDE-Apps.org. Pour installer le menu de service, extrayez d’abord l’archive dans le dossier Accueil. Ouvrez Dolphin et accédez à ce nouveau dossier où vous trouverez le fichier d’installation appelé « install.sh ». Cliquez avec le bouton droit sur le fichier pour ouvrir « Propriétés » et vérifiez qu’il est marqué comme exécutable.
Si cela ressemble à ceci, vous pouvez exécuter le fichier « install.sh » en (double)-cliquant dessus. (Notez que l’installation ne fonctionnera pas correctement si vous essayez d’exécuter le fichier à partir de la console.) Une petite boîte de dialogue apparaîtra, vous demandant si vous souhaitez installer le menu de service uniquement pour l’utilisateur actuel ou pour tous les utilisateurs.
Confirmez votre choix et l’installation devrait se terminer sans problème. Avant de commencer à utiliser Dolphin Folder Color, vous devez redémarrer (rouvrir) Dolphin. Testez s’il a été installé avec succès en cliquant avec le bouton droit sur un dossier – il devrait y avoir un menu Dossier de couleur parmi d’autres options.
Pour changer la couleur des icônes de vos dossiers dans Dolphin, sélectionnez un ou plusieurs dossiers et choisissez une couleur dans le menu Couleur du dossier. Si vous souhaitez restaurer les icônes d’origine, sélectionnez l’option « Par défaut ». Vous pouvez également colorier plusieurs dossiers prédéfinis (Accueil, Documents, Téléchargements…) directement à partir du menu de service – vous n’avez pas à y accéder. Dolphin Folder Color fonctionne dans tous les types d’affichage Dolphin (Icônes, Compact et Détails). Lorsque vous appliquez une couleur à un dossier, un fichier .directory caché y sera créé, alors assurez-vous de ne pas supprimer ce fichier si vous souhaitez conserver la couleur personnalisée.
Dolphin Folder Color vous permet également de définir une icône personnalisée pour n’importe quel dossier – il vous suffit de cliquer sur l’option « Icône personnalisée » en haut du menu du dossier Couleur. Cette fonctionnalité est disponible dans Dolphin par défaut ; vous pouvez y accéder en cliquant avec le bouton droit sur un dossier, en choisissant « Propriétés » et en cliquant sur l’icône du dossier dans l’onglet « Général ». La boîte de dialogue qui s’ouvre est la même que celle proposée par Dolphin Folder Color.
Si vous souhaitez nettoyer le menu du dossier Couleur, vous pouvez le faire via les Préférences de Dolphin (sous Paramètres – Configurer Dolphin). L’onglet Services affiche tous les menus de service installés sur votre système et vous pouvez les basculer en fonction de vos besoins.
Vous trouverez d’autres options utiles dans cette boîte de dialogue. Par exemple, l’onglet Général vous permet d’activer le renommage des fichiers en ligne, ce qui signifie que vous pourrez renommer les fichiers directement dans la fenêtre principale de Dolphin plutôt que dans une boîte de dialogue contextuelle distincte. L’onglet Modes d’affichage contient les options d’apparence. Ici, vous pouvez modifier les polices et la largeur du texte et ajuster la taille de l’icône en faisant glisser les curseurs.
Si vous souhaitez modifier la taille de l’icône dans le panneau Lieux de Dolphin, vous pouvez le faire en modifiant le fichier de configuration « dolphinrc ». Ce fichier se trouve généralement dans le dossier « /home/$USER/.kde/share/config ». Ouvrez-le dans un éditeur de texte et recherchez le texte suivant :
Taille de l’icône=28
puis modifiez le numéro pour qu’il corresponde à la taille d’icône souhaitée. L’ensemble du panneau Lieux est mis à l’échelle en fonction de cette taille. Par conséquent, si vous souhaitez un panneau plus petit, diminuez le nombre.
Certaines parties de Dolphin sont contrôlées via le module « Paramètres système – Apparence de l’application ». Par exemple, si vous souhaitez modifier l’apparence de la barre d’outils de Dolphin, cochez la case « Style – Fine Tuning ». Vous pouvez créer la barre d’outils avec du texte uniquement ou sans texte (affiche uniquement les icônes). L’arrière-plan lumineux par défaut de Dolphin peut être modifié dans l’onglet « Couleurs – Affichage » en changeant les couleurs des valeurs « Fond normal » et « Arrière-plan alternatif ». Gardez à l’esprit que ce changement affecte toutes les applications KDE, donc ce n’est peut-être pas la meilleure solution, mais cela peut constituer une expérience intéressante.
Dolphin Folder Color est l’une des nombreuses améliorations créées par la communauté pour Dolphin. Le seul problème que j’ai rencontré avec ce menu de service est qu’il ne prend pas en charge tous les thèmes d’icônes KDE. Si vous utilisez ceux par défaut comme Oxygen ou Oxymentary, vous êtes en sécurité, mais s’il vous arrive d’avoir un jeu d’icônes plus exotique (dans mon cas, Potenza), les changements de couleur ne s’appliqueront pas.
Quelle est votre opinion sur Dauphin ? Avez-vous des trucs et astuces pour l’améliorer? Partagez-les dans les commentaires.
Crédit d’image : source de l’image en vedette, source de l’image teaser
Cet article est-il utile ? Oui Non
