Ubuntu-fr

sergeG75018

changement d'icone

Bonjour.
suite à cette discution
j'ai découvert un nouvel outil
GIO
Le mieux est un exemple

mkdir $HOME/dossiertest

avec l'outil gio je liste les infos du dossier

gio info --attributes=* $HOME/dossiertest

je change l'icone via propriété du clic droit sur le dossier
nickel, j'ai un(e) bel(le) icone
puis avec l'outil gio je liste à nouveau les infos du dossier

gio info --attributes=* $HOME/dossiertest

Ah! une nouvelle ligne

metadata::custom-icon: file:///home/serge2/.local/share/icons/hicolor/72x72/apps/supermario64.png

je supprime mon fichier et le recrais

rm $HOME/dossiertest
mkdir $HOME/dossiertest

bon! on attaque dans le dur

gio set $HOME/dossiertest -t string metadata::custom-icon: file:///home/serge2/.local/share/icons/hicolor/72x72/apps/supermario64.png

je liste encore les infos du dossier

gio info --attributes=* $HOME/dossiertest

Ah? ma ligne est bien là
mais qu'est-ce?
Pourquoi mon icone n' a pas changer?
par acquis de conscience je redémarre ma session, on sais jamais
mais non ...
je redémarre le pc mais là non plus rien
je suppose qu'il faut relancer quelque chose pour que cela sois pris en charge mais quoi?
si vos avez une idée
merci d'avance
ps:je part au boulot donc à demain

---

Ironie, sarcasme ou cynisme? Je ne sais plus