Bonjour à tous
J’envisage de mettre mon “/home” dans une partition séparée de celle de mon système.
Or, je sais que certaines préférences de Gnome sont enregistrées dans des répertoires cachés du “/home”.
Ainsi, suppons que j’utilise la version 2.28 de Gnome. Mes fichiers de préférences seront donc relatifs à ceux de ladite version.
Puis je formate mon système, j’attends quelques semaines parce que je n’ai pas le temps de tout réinstaller immédiatement, et je réinstalle Debian avec Gnome qui entre temps est passé par exemple à la version 2.32. Je vais donc avoir des fichiers de préférences dans mon “/home” qui sont destinés à la version 2.28 alors que j’utilise la version 2.32.
J’imagine que cela va poser des problèmes de compatibilité ?
Et surtout, j’imagine que Gnome n’est pas le seul à enregistrer des préférences dans “/home” et donc que je risque d’avoir des problèmes avec d’autres paquets ?
Donc, comment gérer tout ça ?
Merci à vous