Et qu'est ce qu'il passe si la machine n'est pas connectée quand tu démarre firefox ? Tu as un gros X rouge à la place de la barre de navigation ?
Je viens de tester. Parce qu'évidemment il fallait bien, le thème courant est stocké en cache. Mais ils font bien attention à nettoyer le cache dès que tu changes de thème. Le répertoire suivant :
Contient :
* le fichier personas.json, qui contient un index (partiel) des thèmes disponibles (taille 290 ko)
* un et un seul répertoire, portant le numéro du thème courant.
Par exemple, pour le thème « Groovu Blue », ce numéro est 5473. le répertoire 5473/ contient deux fichiers, footer.jpg, header.jpg.
Lorsque firefox est démarré sans accès réseau, il va voir dans le cache. Si tu changes de thème, le répertoire est supprimé, le répertoire du nouveau thème est créé.
Si tu n'étais pas connecté au moment où tu acceptes un nouveau thème, ça affiche un thème neutre. Si tu reconnectes le réseau à ce moment là, FF reste avec le thème neutre, il ne se met à jour que si tu sélectionnes un autre (ou le même) thème dans le menu.
[^] # Re: Ca peut pas marcher
Posté par JGO . En réponse au journal Personas, l'extension de personnalisation graphique de Firefox. Évalué à 3.
Je viens de tester. Parce qu'évidemment il fallait bien, le thème courant est stocké en cache. Mais ils font bien attention à nettoyer le cache dès que tu changes de thème. Le répertoire suivant :
/home/user/.mozilla/firefox/xx00x00x.default/personas/cache
Contient :
* le fichier personas.json, qui contient un index (partiel) des thèmes disponibles (taille 290 ko)
* un et un seul répertoire, portant le numéro du thème courant.
Par exemple, pour le thème « Groovu Blue », ce numéro est 5473. le répertoire 5473/ contient deux fichiers, footer.jpg, header.jpg.
Lorsque firefox est démarré sans accès réseau, il va voir dans le cache. Si tu changes de thème, le répertoire est supprimé, le répertoire du nouveau thème est créé.
Si tu n'étais pas connecté au moment où tu acceptes un nouveau thème, ça affiche un thème neutre. Si tu reconnectes le réseau à ce moment là, FF reste avec le thème neutre, il ne se met à jour que si tu sélectionnes un autre (ou le même) thème dans le menu.