Nous pouvons modifier les polices dans les sessions GNOME, XFCE et Unity à l’aide de commandes de terminal. Mais je n'ai rien trouvé de tel pour KDE. Existe-t-il quelque chose qui fasse le travail d'outils comme gsettings
ou dconf
pour KDE?
Pour effacer davantage la question, je sais que je peux utiliser l’outil graphique du système pour modifier les paramètres. Mais c'est ennuyeux de l'ouvrir pour une tâche aussi simple que celle-ci. En outre, il est difficile à utiliser dans un script.
J'utilise KDE 5 dans Ubuntu 16.04
De https://userbase.kde.org/KDE_System_Administration/Configuration_Files
Pour les scripts ou la modification de fichiers à partir de la ligne de commande, l'application de ligne de commande kwriteconfig est très utile. kwriteconfig attend un nom de fichier de configuration, un groupe, une clé, un type facultatif et une valeur, tels que:
kwriteconfig --file kickerrc \ --group General \ --key AutoHidePanel \ --type bool \ true
De https://manned.org/kwriteconfig/d47c2de
kwriteconfig est un outil de ligne de commande pour écrire des valeurs dans les fichiers de configuration de KDE. Des fichiers/groupes/clés non existants seront créés.
Ce site fournit également des informations plus détaillées sur la syntaxe de la commande.
Taper kwriteconfig --help
dans le terminal affichera quelque chose d’utile. man kwriteconfig
ne fonctionne pas, une page de manuel n'existe pas dans mon système.
Pour lire une entrée Kconfig, vous pouvez utiliser la commande kreadconfig
. kreadconfig --help
affiche des informations utiles sur la commande. Un manuel n'existe pas dans mon système. https://manned.org/kreadconfig/40c5a73d donne plus de détails.
Ces commandes semblent faire partie des packages kde-cli-tools
, kde-cli-tools-data
, ces packages doivent être installés par défaut dans Kubuntu. Vous utilisez KDE 5 sur Ubuntu et ces paquets peuvent ne pas être installés, vous devriez vérifier que ...