> Et même dans ce cas, il doit y avoir moyen d'installer les extensions
> en ligne de commande, en donc de le faire à la chaine avec un zolie
> petit script
Toutafé ! Je suppose que si viridis pose la qustion, c'est qu'il
installe ses extensions manuellement en mode utilisateur individuel.
Personnellement, je préfère les installer en passant par mon système de
packages habituel, ce qui les rend disponibles pour tous les
utilisateurs, tout en me permettant de bénéficier des audits de sécurité
et des notifications de mises à jour standards, et de plus c'est
scriptable et reproductible sur plusieurs machines.
Quant au problème de synchroniser les marques-pages, historiques, etc.,
je ne vois pas bien l'intérêt non plus : tout ça est stocké sous
~/.mozilla et donc automatiquement récupéré en synchronisant les $HOME
(à la maison, je n'ai même rien à faire, nos $HOME sont partagés par NFS
entre les différentes machines...).
[^] # Re: Nécessaire ?
Posté par Thierry Thomas (site web personnel, Mastodon) . En réponse au journal Firefox AddonsSync. Évalué à 2.
> en ligne de commande, en donc de le faire à la chaine avec un zolie
> petit script
Toutafé ! Je suppose que si viridis pose la qustion, c'est qu'il
installe ses extensions manuellement en mode utilisateur individuel.
Personnellement, je préfère les installer en passant par mon système de
packages habituel, ce qui les rend disponibles pour tous les
utilisateurs, tout en me permettant de bénéficier des audits de sécurité
et des notifications de mises à jour standards, et de plus c'est
scriptable et reproductible sur plusieurs machines.
Quant au problème de synchroniser les marques-pages, historiques, etc.,
je ne vois pas bien l'intérêt non plus : tout ça est stocké sous
~/.mozilla et donc automatiquement récupéré en synchronisant les $HOME
(à la maison, je n'ai même rien à faire, nos $HOME sont partagés par NFS
entre les différentes machines...).