[Résolu] Renommer Dossier personnel

sos-sami · Le 20/11/2023, à 13:50

Bonjour à tous,

j'aimerais savoir comment modifier le nom apparent du "Dossier personnel" sur le bureau.
Sur cette image,
Desktop
vous voyez mon bureau (Ubuntu 22.04 64 bits) où j'aime bien avoir mon dossier perso (le /home/user) ; mais comment faire pour modifier son nom apparent ? modifier "Dossier personnel" par autre chose ?...
Merci pour votre aide.

Dernière modification par sos-sami (Le 25/11/2023, à 12:06)

nany · Le 22/11/2023, à 08:23

Bonjour,

À moins de modifier le code source (j’ai trouvé l’occurrence à la ligne 2604 de https://gitlab.gnome.org/GNOME/gnome-pa … r/po/fr.po) et de recompiler, je ne crois pas que ce soit possible.

sos-sami · Le 22/11/2023, à 08:45

Ouah !... quel boulot de recherche........ balaise ! ! ! Chapeau.
Mais effectivement, c'est une vraie usine à gaz... Je ne pense que ce soit la meilleure et la plus simple solution. J'espère qu'il en existe une autre...

C'est bizarre... J'ai le souvenir (l'impression ?...) que dans des versions précédentes (18.04 ? 16.04 ?...), on pouvait le faire, facilement, en faisant tout simplement clic-droit sur le dossier (personnel, sur le bureau), Propriétés, et on pouvait changer le nom (qui n'est juste qu'un nom apparent, qui ne change en rien le home du user), tout comme on peut changer son icône (mais ça, on peut toujours le faire).

Dernière modification par sos-sami (Le 22/11/2023, à 11:28)

eric63 · Le 22/11/2023, à 10:39

Salut;
Pour moi qui suit sur Kde/plasma
ton bureau me pose question car le «bureau ou Desktop» est un dossier de «dossier personnel» qui se nomme «kubu» hors chez toi le bureau contient ton dossier personnel ?

sos-sami · Le 22/11/2023, à 11:46

Non non, tout est bien comme tu le dis (le "Bureau" dans le dossier personnel).
C'est juste qu'avec l'extension Desktop Icons NG (intégrée dans le système), on peut faire afficher (ou pas) le Dossier Personnel sur le bureau, tout comme la Corbeille, les disques externes, les disques réseau, ...
Et quand on coche "afficher le dossier personnel sur le bureau" dans les paramètres de l'extension Desktop Icons NG, le Dossier Personnel apparaît sur le bureau (mais il n'est pas rajouté dans le dossier "Bureau", sinon on aurait une redondance cyclique.........), on peut changer son icône, mais j'aimerais bien aussi pouvoir changer son nom "Dossier Personnel".

iznobe · Le 23/11/2023, à 23:07

Bonsoir , ne pourrait on pas contourner le " renommage " de ce dossier en créant tout simplement un lien symbolique ou physique du nom que tu veux qui pointe vers ton " /home/$USER " ?
il suffirait ensuite de placer ce " raccourci " sur ton bureau et de desactiver l ' apparition du dossier personnel ...

cela dit , je vois pas l ' intérêt de se casser la tête avec ca et je ne sais pas si ca fonctionnera , faudrait faire un test sur un OS expres .

Dernière modification par iznobe (Le 24/11/2023, à 11:38)

soshy · Le 23/11/2023, à 23:39

Bien tenté Nany. Cependant, maintenant qu'on sait qu'à priori c'est lié à l'extension Desktop Icons NG, je pense plutôt qu'il faudrait trouver le fichier fr.po afin de remplacer

msgid "Home"
msgstr "Dossier personnel"

par

msgid "Home"
msgstr "Le nom que tu veux"

Normalement les extensions Gnome c'est du js, ça se recompile pas. En revanche faudrait certainement recharger l'extension voir le shell complet je ne sais pas trop suite à la modification.

Après c'est une idée, aucune garantie que ça fonctionne ou que ça survive à une MAJ du paquet qui fourni le fichier

Dernière modification par soshy (Le 23/11/2023, à 23:51)

sos-sami · Le 24/11/2023, à 12:22

iznobe a écrit :

Bonsoir , ne pourrait on pas contourner le " renommage " de ce dossier en créant tout simplement un lien symbolique ou physique du nom que tu veux qui pointe vers ton " /home/$USER " ?
il suffirait ensuite de placer ce " raccourci " sur ton bureau et de desactiver l ' apparition du dossier personnel ...
cela dit , je vois pas l ' intérêt de se casser la tête avec ca et je ne sais pas si ca fonctionnera , faudrait faire un test sur un OS expres .

Évidemment... c'est une solution...

sos-sami · Le 24/11/2023, à 18:17

soshy a écrit :

Bien tenté Nany. Cependant, maintenant qu'on sait qu'à priori c'est lié à l'extension Desktop Icons NG, je pense plutôt qu'il faudrait trouver le fichier fr.po afin de remplacer
msgid "Home"
msgstr "Dossier personnel"
par
msgid "Home"
msgstr "Le nom que tu veux"
Normalement les extensions Gnome c'est du js, ça se recompile pas. En revanche faudrait certainement recharger l'extension voir le shell complet je ne sais pas trop suite à la modification.
Après c'est une idée, aucune garantie que ça fonctionne ou que ça survive à une MAJ du paquet qui fourni le fichier

Alors là, chapeau ! ! ! Il fallait la trouver (cette idée-là )
J'ai suivi ton idée (en faisant bien attention où je mettais les pieds) et ça fonctionne NI-CKEL ! ! !
Évidemment, je verrai bien ce que ça donne après une mise à jour (de l'extension, ou du Gnome). Mais au cas où, je sais maintenant comment me débrouiller

Merci à tous les deux, car vos idées étaient aussi bonnes l'une que l'autre.

Comment on fait pour mettre "résolu" ?...

Dernière modification par sos-sami (Le 24/11/2023, à 18:18)

xubu1957 · Le 24/11/2023, à 18:29

Bonjour,

Pour rajouter [Résolu] au début du titre, en éditant ta discussion, il faut utiliser le bouton Modifier au bas de ton premier message.

Merci

geole · Le 24/11/2023, à 19:05

sos-sami a écrit :

Bonjour à tous,
j'aimerais savoir comment modifier le nom apparent du "Dossier personnel" sur le bureau.
Sur cette image,
Desktop
vous voyez mon bureau (Ubuntu 22.04 64 bits) où j'aime bien avoir mon dossier perso (le /home/user) ; mais comment faire pour modifier son nom apparent ? modifier "Dossier personnel" par autre chose ?...
Merci pour votre aide.

Bonjour
En fait, tu veux simplement remplacer l'icône qui ne te plaît pas par quelque chose de plus joli.
Je ne sais pas si cela fonctionne en 22.04 mais en 23.10, c'est simple.
- se positionner sur l'icône.
- clic droit
- choisir propriété
une petite fenêtre s'ouvre
- Se repositionner sur le dessin
- clic gauche, autre petite fenêtre s'ouvre
Tout en haut en plein milieu, il y a la ligne
sélectionner une icône personnalisée ouvrir
-clic sur ouvrir et partir à la recherche de l'cône qui va le mieux convenir.
En standard la liste est vide. Il est donc préférable de savoir à l'avance où se trouve la nouvelle icône qu'on veut mettre.
Je n'ai pas fini la procédure.

AJOUT. Comme souvent, le mode graphique est plus compliqué que la ligne de commande.

Dernière modification par geole (Le 24/11/2023, à 19:12)

sos-sami · Le 24/11/2023, à 20:59

geole a écrit :

sos-sami a écrit :
Bonjour à tous,
j'aimerais savoir comment modifier le nom apparent du "Dossier personnel" sur le bureau.
Sur cette image,
Desktop
vous voyez mon bureau (Ubuntu 22.04 64 bits) où j'aime bien avoir mon dossier perso (le /home/user) ; mais comment faire pour modifier son nom apparent ? modifier "Dossier personnel" par autre chose ?...
Merci pour votre aide.
Bonjour
En fait, tu veux simplement remplacer l'icône qui ne te plaît pas par quelque chose de plus joli.
Je ne sais pas si cela fonctionne en 22.04 mais en 23.10, c'est simple.
- se positionner sur l'icône.
- clic droit
- choisir propriété
une petite fenêtre s'ouvre
- Se repositionner sur le dessin
- clic gauche, autre petite fenêtre s'ouvre
Tout en haut en plein milieu, il y a la ligne
sélectionner une icône personnalisée ouvrir
-clic sur ouvrir et partir à la recherche de l'cône qui va le mieux convenir.
En standard la liste est vide. Il est donc préférable de savoir à l'avance où se trouve la nouvelle icône qu'on veut mettre.
Je n'ai pas fini la procédure.
AJOUT. Comme souvent, le mode graphique est plus compliqué que la ligne de commande.

oui, sauf que... c'est pas la question et c'est résolu.

sos-sami · Le 25/11/2023, à 08:52

Bon, ben... finalement, c'est toujours pas résolu.
Modifier la traduction de l'extension Desktop-icons NG, c'est une bonne idée ; mais après une extinction d'une nuit puis redémarrage... et mises à jour, ça saute, et il faut recommencer l'installation de l'extension (c'est pas la mort, mais c'est pas possible de faire ça tous les jours).
Quant à créer un lien symbolique de mon home, ? ? ? Ça ne marche pas. Apparemment, on peut créer un lien symbolique de presque tout... sauf de son home ! ! !
Ou sinon, comment fait-on pour créer un lien symbolique de son home ?...

iznobe · Le 25/11/2023, à 09:22

Bonjour on utilise la commande " ln " :
je viens de tester sur mon pi ca fonctionne sans soucis .

ca affiche alors une petite icone qui indique que c ' est un lien ( façon raccourci chez windobz ) .

Si chez toi le dossier se nomme " Bureau " pour le langage en francais , alors les commandes que tu devrais taper seront :

cd Bureau

ln -s $HOME   le_super_nom_que_tu_desires

de façon a ce que le lien apparraisse sur le Bureau .

il te reste ensuite a modifier les paramètres pour ne plus y faire afficher ton dossier personnel et l' histoire est réglée .

Dernière modification par iznobe (Le 25/11/2023, à 09:39)

bluc · Le 25/11/2023, à 11:21

Si tu es sur une des dernières versions Ubuntu (gnome) → Autres emplacements → Ubuntu → home, → cliquer droit sur le répertoire perso →Copier
Reviens là ou tu veux mettre ton lien → clic droit → Coller comme un lien

Dernière modification par bluc (Le 25/11/2023, à 11:22)

sos-sami · Le 25/11/2023, à 12:06

ouah !...
Référence aux post 14 et 15 : les deux méthodes sont très bonnes. Je crois que je vais m'arrêter là
Grand merci à tous

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 20/11/2023, à 13:50

[Résolu] Renommer Dossier personnel

#2 Le 22/11/2023, à 08:23

Re : [Résolu] Renommer Dossier personnel

#3 Le 22/11/2023, à 08:45

Re : [Résolu] Renommer Dossier personnel

#4 Le 22/11/2023, à 10:39

Re : [Résolu] Renommer Dossier personnel

#5 Le 22/11/2023, à 11:46

Re : [Résolu] Renommer Dossier personnel

#6 Le 23/11/2023, à 23:07

Re : [Résolu] Renommer Dossier personnel

#7 Le 23/11/2023, à 23:39

Re : [Résolu] Renommer Dossier personnel

#8 Le 24/11/2023, à 12:22

Re : [Résolu] Renommer Dossier personnel

#9 Le 24/11/2023, à 18:17

Re : [Résolu] Renommer Dossier personnel

#10 Le 24/11/2023, à 18:29

Re : [Résolu] Renommer Dossier personnel

#11 Le 24/11/2023, à 19:05

Re : [Résolu] Renommer Dossier personnel

#12 Le 24/11/2023, à 20:59

Re : [Résolu] Renommer Dossier personnel

#13 Le 25/11/2023, à 08:52

Re : [Résolu] Renommer Dossier personnel

#14 Le 25/11/2023, à 09:22

Re : [Résolu] Renommer Dossier personnel

#15 Le 25/11/2023, à 11:21

Re : [Résolu] Renommer Dossier personnel

#16 Le 25/11/2023, à 12:06

Re : [Résolu] Renommer Dossier personnel

Pied de page des forums