28-08-23, 10:31
(28-08-23, 10:12)zakfm a écrit : Bonjour,
[ manu a écrit : Si, en enlevant darktablerc du dossier .config/darktable il n'est pas recréé au relancement de dt, c'est que ce n'est pas le même darktable qui est utilisé. ]
Merci manu pour cette réponse qui m'a turlupiné toute la nuit.
Ce matin je fais une recherche de darktablerc sur mon ordi avec Kfind.
Résultat : il y en a deux :
Celui-ci que je connaissais bien :
/usr/share/darktable/darktablerc
Et celui-ci : /home/zwank/.config/darktable/darktablerc que j'ai ouvert.
j' y ai trouvé " darkroom/ui/0/bottom_visible=FALSE " et " plugins/darkroom/0/filmstrip_visible=FALSE ".
J'ai corrigé les deux lignes en TRUE et mes vignettes sont de retour.
Mon souci maintenant est que je ne parviens pas à trouver le dossier /home/zwank/.config/darktable/.
Et aussi de comprendre comment ce problème est arrivé.
Le darktablerc qui se trouve sous la partition système /usr/share/darktable est le template qui est utilisé pour créer la version utilisateur dans ~/.config/darktable.
La tilde ~ signifie /home/identifiant-utilisateur on voit souvent aussi $HOME qui est similaire mais pas tout le temps.
On ne touche pas /usr/share/darktable/darktablerc ni aucun autre fichier du même endroit car ils sont remplacés à chaque mise à jour.
L'utilisateur travaille exclusivement sur les versions personnelles dans ~/.config/darktable.
Comment avoir mis à jour "/home/zwank/.config/darktable/darktablerc" après l'avoir ouvert et avoir un souci pour trouver le dossier /home/zwank/.config/darktable/ ????
Tu veux dire dans ton explorateur de fichier ?
Serait-ce que tu n'affiches pas les dossiers/fichiers cachés, c'est à dire ceux commençant par un point ? Ctrl H le permet.
dt stable / Ubuntu 22.04