Contenu | Rechercher | Menus

Annonce

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.04 LTS
Ubuntu-fr propose des clés USB de Ubuntu et toutes ses « saveurs » ainsi qu'un magnifique t-shirt pour cette toute nouvelle version d'Ubuntu !

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 06/12/2017, à 21:03

GammaDraconis

En bash, c'est possible de modifier un paramètre Firefox ?

Bonjour,

Comme vous le savez surement, sous Firefox, en tapant "about:config" dans le champ url on peux faire différent réglage du navigateur
Par exemple au hasard, la valeur "accessibility.tabfocus_applies_to_xul" est sur "false" par défaut et on peux la passer sur "true" pour l'activer.

J'aimerai savoir si c'est possible de modifier ses paramètres sans passer par le navigateur, directement via une commande dans le terminal ?
(en faite ça serai pour intégrer un changement d'un paramètre Firefox de façon automatisé directement dans un script linux en bash)


Cordialement;

Dernière modification par GammaDraconis (Le 06/12/2017, à 21:03)


PC1 (Xiaomi Air 13) : Ubuntu 18.04LTS/Gnome et ArchLinux/Plasma (dualboot)
PC2 (Lenovo Legion Y520) : Linux Mint 19/Cinnamon, Fedora 28/Gnome, Solus (tripleboot)
Besoin d'un script de post-install pour la 18.04 ? c'est ici : https://forum.ubuntu-fr.org/viewtopic.php?id=2026344

Hors ligne

#2 Le 06/12/2017, à 21:21

Rufus T. Firefly

Re : En bash, c'est possible de modifier un paramètre Firefox ?

Salut,

Les préférences par défaut semblent être dans /usr/share/firefox/browser/defaults/preferences/
Ce sont des fichiers .js
Par ailleurs, tu trouves aussi un prefs.js dans ~/.mozilla/firefox/xxx.default/ qui semble contenir les préférences modifiées.
Il doit y avoir moyen d'adapter ça via bash. Ce sont des fichiers texte et pour peu qu'on conserve la syntaxe (facile à comprendre donc à reproduire)...

NB : j'utilise firefox-esr
C'est peut-être différent dans les versions dernier cri...

Edit : il suffit peut-être de configurer firefox comme tu le désires et de recopier prefs.js ainsi obtenu

Dernière modification par Rufus T. Firefly (Le 06/12/2017, à 21:30)


La provocation est une façon de remettre la réalité sur ses pieds. (Bertolt Brecht)
Il n'y a pas de route royale pour la science et ceux-là seulement ont chance d'arriver à ses sommets lumineux qui ne craignent pas de se fatiguer à gravir ses sentiers escarpés. (Karl Marx)
Il est devenu plus facile de penser la fin du monde que la fin du capitalisme

Hors ligne

#3 Le 07/12/2017, à 17:29

GammaDraconis

Re : En bash, c'est possible de modifier un paramètre Firefox ?

Merci, effectivement c'est le fichier "prefs.js".


PC1 (Xiaomi Air 13) : Ubuntu 18.04LTS/Gnome et ArchLinux/Plasma (dualboot)
PC2 (Lenovo Legion Y520) : Linux Mint 19/Cinnamon, Fedora 28/Gnome, Solus (tripleboot)
Besoin d'un script de post-install pour la 18.04 ? c'est ici : https://forum.ubuntu-fr.org/viewtopic.php?id=2026344

Hors ligne