Icônes personnalisées pour les dossiers
Dans plusieurs dossiers, j'ai modifié les icônes par défaut à l'aide d'un clic droit> Propriétés> icône> clic, puis en sélectionnant un fichier image dans le dossier.
C'est très bien. Ma partition /home est différente de la partition racine "/", ce qui signifie que je n'efface pas mes fichiers personnels lors de la réinstallation d'une nouvelle version d'Ubuntu (actuellement 18.04).
Cependant, lors de la dernière mise à jour du système d'exploitation (et précédemment), toutes les icônes personnalisées ont disparu. Je n'ai pas changé les partitions /home ou quoi que ce soit. J'ai alors, péniblement, personnalisé les icônes de dossier.
Maintenant qu'une nouvelle version (18.10) est sur le point d'arriver, je me demande ce que je dois faire pour conserver les icônes personnalisées. En général, je n'effectue pas de mise à niveau à l'aide de l'outil de mise à niveau, car il continue à causer des problèmes. Je préfère une nouvelle installation en préservant la partition /home. Un indice est profondément apprécié.
Cela dépend de l'endroit où vous gardiez les icônes. Si vous les gardiez quelque part dans votre répertoire personnel et que vous ne renommiez pas votre utilisateur, ils devraient rester, mais si vous utilisez les fichiers situés dans /usr/share/, il est possible qu'ils changent de nom à l'aide du système d'emballage.
En guise de test, j'ai configuré une VM avec Ubuntu 16.04 LTS, configuré certaines icônes personnalisées que j'ai stockées dans ~/Icons, puis mis à niveau vers 18.04. Après la mise à niveau, les icônes personnalisées étaient toujours présentes.
