Re: Dossier personnel

Le Fri, 28 Feb 2025 08:14:32 +0100, jean b. a écrit:

  Étant assez rébarbatif à la ligne de commande, sauf nécessité avérée,
 j'installe des distrib's disposant d'une interface graphique qui
 affiche, sur le bureau et dans le gestionnaire de fichier, un dossier
 'Dossier personnel', 'home' chez les anglophones.

  Je voulais simplement savoir s'il était possible d'en modifier le nom
pour le renommer 'home'. Ce n'est pas important, c'était juste
cosmétique, pour obtenir un alignement vertical sur un bord d'écran !

Ça ne semble pas prévu pour être facilement paramétré par l'utilisateur
final.

C'est codé là dans le gestionnaire de fichier de gnome (anciennement
Nautilus) :

<https://gitlab.gnome.org/GNOME/nautilus/-/blob/main/po/fr.po>

Du moins, je pense.


@+
--
Yves