Fichiers utilisateur·trice dans Gradio

[germain]

Bonjour !

J'ai une petite question, mes recherches diverses ne m'ont pas permis de trouver de réponse tout seul :

où c'est qu'on trouve les fichiers perso de Gradio ? J'aimerais sauvegarder la librairie des stations de radio que ma fille a mises en bookmarks dans l'appli sur sa session pour les transférer sur une clean install que je vais faire prochainement, et autant j'ai l'habitude de fouiner dans les dossiers AppData de Windows, autant sous Linux je suis un peu paumé.

[lafy]

Salut @Germain,

regarde dans ton /home, les fichiers cachés qui commencent par un " .", cherche un répertoire qui s'appelle .gradio,  tu pourras copier ce répertoire directement dans ton /home de ta nouvelle installation et récupérer toutes tes préférences.

[germain]

Top ! Merci !

 

edit : alors précisément, pour gradio, c'est dans home/[nom]/.local/share/gradio