Bonjour Pierre,
Les extensions sont sous le profil de Firefox. Quel est le nom du répertoire du profil ?
Pour le savoir, lire le fichier :
cat ~/.mozilla/firefox/profiles.ini
Ensuite, sous le profil présenté dans le fichier il y a un répertoire nommé extensions.
J'ai deux profils, chez moi celui en cours d'utilisation est le "Profile0". (Je l'ai
vérifié avec l'horodatage des fichiers dans leurs répertoires "extensions" respectifs).
Tu devras te rendre dans ce répertoire "extensions" pour faire un grep sur le nom de
l'extension que tu recherches, parce que les noms de fichiers ne sont pas tous et pas
toujours humainement lisibles. Et le grep, parce que ce sont des fichiers binaires. Donc :
cd ~/.mozilla/firefox/<ici nom de ton répertoire de profil genre
"des-caractères.default-release-une-suite-de-chiffres">/extensions
et là, un grep (grep suivi du nom de l'extension, suivi d'une étoile "*" pour indiquer
rechercher dans tous les fichiers du répertoire courant). Ou encore:
rgrep (nom de l'extension)
~/.mozilla/firefox/< nom répertoire profil "*.default-release-*">/extensions/
Et le terminal te donne le nom du fichier avec le chemin complet, et la ligne finit par
" : fichiers binaires correspondent"
Bonne fin d'année à toi et à tous !
Joyce
On Mon, 30 Dec 2024 20:15:04 +0100
"Pierre Estrem" (via linux-31 Mailing List) <linux-31@culte.org> wrote:
Bonjour la liste,
Je tente d'installer quelques extensions .xpi et j'ai suivi ce lien :
https://askubuntu.com/questions/73474/how-to-install-firefox-addon-from-command-line-in-scripts
On pourrait faire cela pour Firefox avec la ligne :
$ firefox -silent -install-global-extension <addon>
Je fais, mais je ne sais pas comment m'assurer que l'addon en question
est effectivement installé.
En ligne de commande est-ce possible, car dans Outils>Extensions et
thèmes>... je ne comprends pas où est l'information.
pierre estrem
--
Vous pouvez vous désabonner de cette liste en cliquant sur:
https://sympa.culte.org/sympa/auto_signoff/linux-31?email=joyce.markoll@netc.eu