Contenu | Rechercher | Menus

Annonce

Ubuntu 16.04 LTS
Commandez vos DVD et clés USB Ubuntu-fr !

Pour en savoir un peu plus sur l'équipe du forum.

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.

#1 Le 20/08/2016, à 01:18

mohican

Comment changer les paramètres par défaut de Firefox ?

Les paramètres par défaut de Firefox sont ceux qui sont utilisés lorsque l'on démarre Firefox pour la première fois :
- nouveau compte utilisateur
- utilisateur "invité"
- nouveau profil de Firefox

J'aimerais pouvoir les changer.
Notamment :
- changer la liste des moteurs de recherche disponibles
- changer le moteur de recherche par défaut
- changer la page d'accueil
- ajouter des marques-pages

Comment faire ? Où sont stockés ces paramètres ?
(j'ai fait un tour dans /etc/firefox/ et /usr/lib/firefox/ mais je n'ai rien vu d'exploitable.)

Merci.

Dernière modification par mohican (Le 20/08/2016, à 15:09)


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#2 Le 20/08/2016, à 01:42

Coeur Noir

Re : Comment changer les paramètres par défaut de Firefox ?

Si l'english ne te rebute pas, check this :
https://developer.mozilla.org/fr/docs/M … references
http://superuser.com/questions/823530/c … x-globally
oh et puis tiens dans la langue de Rimbaud :
https://developer.mozilla.org/fr/Firefo … Entreprise

Dernière modification par Coeur Noir (Le 20/08/2016, à 01:45)

Hors ligne

#3 Le 20/08/2016, à 12:12

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Merci bien. J'ai commencé à étudier la question.

Pour la page d'accueil c'est facile :

il suffit d'ajouter une ligne dans le fichier /etc/firefox/syspref.js
par exemple :

user_pref("browser.startup.homepage", "https://start.duckduckgo.com/?kl=fr-fr"); // page d'accueil = recherche DuckDuckGo en français

Attention il faut bien metttre user_pref() et pas pref() sinon ça ne fonctionne pas.

Pour ajouter des moteurs de recherche, c'est possible :

1. récupérer les fichiers .xml depuis un profil de Firefox où il ont été ajoutés manuellement
2. les copier (root) dans : /usr/lib/firefox/distribution/searchplugins/common/
Attention ils doivent avoir les permissions suivantes : -rw-r--r-- (chmod 644 *)

PAR CONTRE VOICI CE QUE JE N'ARRIVE PAS À FAIRE :

1. Changer le moteur de recherche par défaut (c'est toujours Google). La propriété

user_pref("browser.search.defaultenginename", "DuckDuckGo");

ne produit aucun effet.
2. Supprimer des moteurs de recherche (car à la création d'un nouveau profil on trouve toujours Google, Yahoo, Bing, Amazon, eBay, etc.)
3. Changer l'ordre des moteurs de recherche.

Quand on fait tout cela manuellement dans les préférences de Firefox cela produit deux effets sur le profil :
- la propriété "browser.search.useDBForOrder" apparaît dans about:config avec la valeur true
- le fichier search.json.mozlz4 contenu dans le profil se met à jour

Donc j'ai mis

user_pref("browser.search.useDBForOrder",true);

dans syspref.js
et j'essaye de faire en sorte que le fichier search.json.mozlz4 que je récupère depuis le profil configuré manuellement soit copié dans les nouveaux profils.

Je pensais faire cela en le mettant dans le dossier (à créer) /usr/lib/firefox/defaults/profile/
car il est écrit ceci "The administrator may alternatively put a user.js file in app_dir/defaults/profile/ ; this will put a copy of the user.js in all new profiles." dans la page de doc de mozilla. Mais en fait cela ne fonctionne pas : les fichiers du dossier /usr/lib/firefox/browser/defaults/profile/ ne sont pas recopiés vers le nouveau profil (testé en ajoutant un dossier perso).

Voilà où j'en suis. Si vous avez d'autres idées...

Dernière modification par mohican (Le 20/08/2016, à 12:15)


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#4 Le 20/08/2016, à 12:37

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

P.S. j'ai aussi créé le dossier profile dans :
/usr/lib/firefox/browser/defaults/profile/
et
/etc/firefox/profile/
(on ne sais jamais !) mais ça n'a pas marché.

Autres liens que j'ai trouvé en suivant ceux donnés par coeur noir :
Kaply consulting :
  * https://mike.kaply.com/2012/03/15/custo … nce-files/ (série d'articles. Datent de 2012 avec quelques mises à jour)
  * https://mike.kaply.com/cck2/
  * https://cck2.freshdesk.com/support/discussions

En particulier la méthode pour définir un nouveau profil est expliquée ici :
https://mike.kaply.com/2012/03/30/custo … -profiles/
mais il est marqué : "Update: This method no longer works in Firefox 46." yikes


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#5 Le 20/08/2016, à 12:43

Coeur Noir

Re : Comment changer les paramètres par défaut de Firefox ?

Point de suggestions à faire - pas le temps de tester - mais poser la question directement à mozilla ou sur des forums dédiés à mozilla/firefox ?

Car perso je voudrais bien aussi changer les moteurs de recherche livrés par défaut…

Hors ligne

#6 Le 20/08/2016, à 12:51

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Par ailleurs je n'arrive pas à décompresser les fichiers omni.ja qui sont censés contenir les paramètres par défaut.
Trouvés dans /usr/lib/firefox et /usr/lib/firefox/browser.

Renommé en omni.jar ou omni.zip : le gestionnaire d'archive indique une erreur.


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#7 Le 20/08/2016, à 13:15

Coeur Noir

Re : Comment changer les paramètres par défaut de Firefox ?

https://developer.mozilla.org/en-US/doc … mni.jar%29

Linux users can simply use unzip command to inflate files of omni.ja.

omni.ja is also incompatible with Zip files in the other direction; editing extracted files won't affect Firefox, and repacking edited files may break Firefox if you do not use the right options when packing the extracted files. The correct command to pack omni.ja is:

zip -qr9XD omni.ja *

Hors ligne

#8 Le 20/08/2016, à 13:15

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Forums concernant Firefox :

Geckozone (fr) : https://forums.mozfr.org/viewforum.php?f=5 m'a l'air plutôt orienté vers les utilisateurs.

MozillaZine (en) : http://forums.mozillazine.org/viewforum.php?f=38

Support Mozilla (en) : https://support.mozilla.org/en-US/questions/firefox


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#9 Le 20/08/2016, à 13:20

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Nouvelles pistes :

Copié depuis la discussion sur la suppression de la fonction de copie des profils par défaut :

Liz Henry a écrit :

I asked about this in a meeting today and two workarounds were suggested: using ESR45 which doesn't have these profile changes (though they will be in ESR52), and using Mike Kaply's CCK2 tool, https://mike.kaply.com/cck2/.

Benjamin Smedberg a écrit :

This feature was being abused and was (partly) removed as part of continuing anti-malware.

To the extent that we want to support enterprise customization, that should all be taken care of explicitly through the distribution/ mechanism. That system already supports adding default bookmarks (though not replacing the defaults entirely) as well as certain other customizations. If you would like additional features as part of the distribution/ set, please file a bug in Firefox:General and cc me and Kev Needham.


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#10 Le 20/08/2016, à 13:49

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Coeur Noir a écrit :

https://developer.mozilla.org/en-US/doc … mni.jar%29

Linux users can simply use unzip command to inflate files of omni.ja.

omni.ja is also incompatible with Zip files in the other direction; editing extracted files won't affect Firefox, and repacking edited files may break Firefox if you do not use the right options when packing the extracted files. The correct command to pack omni.ja is:

zip -qr9XD omni.ja *

Bon j'ai réussi à dézipper les deux omni.ja en ligne de commande comme indiqué dans ton lien :

unzip omni.ja

(Je ne comprends pas pourquoi le gestionnaire d'archive ne voulait pas me l'ouvrir.)

Et j'ai trouvé les moteurs de recherche par défaut dans le omni.ja qui est dans /usr/lib/firefox/browser/ :
dans ./chrome/en-US/locale/browser/searchplugins/

[Edit] Par contre pas de traces des moteurs en français (CNRTL, Wikipédia (fr)) : ils doivent ailleurs.

Pour l'instant ça n'explique pas pourquoi Google reste le moteur par défaut.

Il y a aussi un truc curieux : ce fichier omni.ja a été mis à jour automatiquement et il inclu le dossier /profile/ que j'avais créé tout à l'heure (dont mon dossier perso de test) ! [Edit] non en fait c'est moi qui l'ai fait par erreur en pensant décompresser !

Dernière modification par mohican (Le 20/08/2016, à 14:17)


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#11 Le 20/08/2016, à 14:34

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Solution (?) pour virer les moteurs de recherche ajoutés par défaut :

1. Ceux qui sont ajoutés par la distribution :
Ils sont là :
/usr/lib/firefox/distribution/searchplugins/
Actuellement [Ubuntu 16.04], il y a Google, Amazon et DuckDuckGo
il suffit d'enlever ceux qu'on ne veut pas.

2. Ceux qui sont inclus dans Firefox :
Ils sont à l'intérieur de l'archive omni.ja qui est dans le dossier /usr/lib/firefox/browser/
- la copier dans un dossier temporaire
- la décompresser

unzip omni.ja

- supprimer le fichier omni.ja
- aller dans le dossier décompressé ./chrome/en-US/locale/browser/searchplugins/
- enlever les moteurs indésirables (mettre à jour le fichier texte list)
- revenir dans le dossier temporaire lui-même
- régénérer omni.ja

zip -qr9XD omni.ja *

- le copier
- aller dans /usr/lib/firefox/browser/
- renommer l'ancienne version pour ne pas l'écraser
- coller le nouveau omni.ja
- lancer Firefox avec le gestionnaire de profil
- créer un nouveau profil : il ne contient plus les moteurs de recherche ainsi supprimés.

Note : je n'ai pas trouvé l'emplacement des moteurs francophones (CNRTL et Wikipédia (fr)).

Question : lors d'une mise à jour de Firefox, est-ce que le fichier omni.ja ne risque pas d'être remplacé par une nouvelle version ? Probable sad donc ce n'est pas vraiment la solution !

NON RÉSOLU :
- le choix du moteur par défaut
- l'ordre des moteurs de recherche

A CHERCHER AUSSI :

- comment ajouter des marques-pages
(ils sont dans places.sqlite ?)
Peut-être fait via la méthode "distribution". Comment ?

J'arrête là pour l'instant ! roll


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#12 Le 20/08/2016, à 14:36

mohican

Re : Comment changer les paramètres par défaut de Firefox ?

Je vous invite à continuer la recherche sur les deux pistes données au post #9


mohican, plus tout à fait débutant sur Ubuntu.

4x boot : 14.04 Unity 64bits à 95% // 16.04 64b en test // Mint 18.0 Cinnamon 64b en test // Win7 SP1 64b à 5%

Hors ligne

#13 Le 05/03/2017, à 01:02

melodie

Re : Comment changer les paramètres par défaut de Firefox ?

Le plus simple, en simple utilisateur, Firefox vient avec un menu des préférences. Sous Linux : menu Édition > Préférences > Recherche : et là tu modifies ce que tu veux comme tu veux, en ajoutant ou supprimant des moteurs de recherche, en les repositionnant dans l'ordre qui te convient le mieux, par glissé/déposé. Et tu peux sélectionner le moteur de recherches par défaut par un simple menu déroulant (et faire tout un tas d'autres réglages pour fignoler).

Si tu ne trouves pas facilement le menu des préférences, alors juste à droite du dernier onglet après le signe "+", tu fais un clic-droit et tu coches l'option "barre de menus", et celle-ci apparaîtra au dessus des onglets.

PS : sous Windows le menu des préférences de Firefox sera sous "Outils".

Dernière modification par melodie (Le 05/03/2017, à 01:06)

Hors ligne

#14 Le 19/06/2017, à 15:30

Sisiphe

Re : Comment changer les paramètres par défaut de Firefox ?

Bonjour
Je trouve ce fil , car depuis peu, lorsque j'ouvre Firefox, j'arrive toujours sur moteur de reherche Google!
Avant, lorsque je cliquait la flêche vers le haut dans la barre de recherche, je trouvais les 4 ou 5 moteurs (propriétaire,+ Wikpédia).
Après des modifications de comptes Google, suite à l'achat d'un smartphone sous Android, , la flêche me proposait Pocket.
Suite aux instructions du site, l'action sur la barre retour aux préférences par défaut dans les préférences de Firefox, le clic sur la flèche donne une page vide, alors que dans les préférences, plusieurs moteurs sont cochés
Que faire pour revenir à cette situation?
Merci
Sous Ubuntu 16.04 LTE

Hors ligne

#15 Le 19/06/2017, à 16:39

Sisiphe

Re : Comment changer les paramètres par défaut de Firefox ?

Petit complément à ma recherche:
A la suite de je ne sais quelle action , les onglets "moteurs de recherche" , "marque page",  dans la barre de recherche de firefox ont disparu
J'essaye de les rétablir, dans le menu "préférence, mais je n'y parviens pas! comment procéder!
J'ai l'impression que Gougoule m'a foutu le b....l
Merci pour vore aide

Hors ligne

#16 Le 19/06/2017, à 16:54

Sisiphe

Re : Comment changer les paramètres par défaut de Firefox ?

Petit complément à ma recherche:
A la suite de je ne sais quelle action , les onglets "moteurs de recherche" , "marque page",  dans la barre de recherche de firefox ont disparu
J'essaye de les rétablir, dans le menu "préférence, mais je n'y parviens pas! comment procéder!
J'ai l'impression que Gougoule m'a foutu le b....l
Merci pour vore aide

Hors ligne

#17 Le 18/11/2017, à 20:27

percherie

Re : Comment changer les paramètres par défaut de Firefox ?

@mohican

Les moteurs de recherche francophone sont bien dans le fichier omni.ja et probablement que tu édite le mauvais fichier. Comme linux est multilangue la confusion doit venir de là.

Je travail sur un profil par défaut pour des élèves de collège et le fichier que j'utilise était sur un windows mono-langue. Une fois décompressé ton fichier omni.ja les fichiers xml concerné sont sur chrome/fr/locale/browser/searchplugins/

Je viens de poster un rapport sur la personnalisation des moteurs sur le forum GeckoZone et il me reste à pouvoir choisir le moteur de recherche préférentiel : https://forums.mozfr.org/viewtopic.php? … 50#p853250


Nomade en camion utilisant Ubuntu. Si vous souhaitez suivre mes voyages : http://toutenkamion.net/

Hors ligne

#18 Le 18/11/2017, à 23:20

percherie

Re : Comment changer les paramètres par défaut de Firefox ?

Problème résolu, il faut modifier les nom des moteurs pour qu'avec un classement alphabétique l'on place en premier celui qui doit être défini par défaut : https://forums.mozfr.org/viewtopic.php? … 74#p853274

Je vais écrire un petit tutoriel sur la conception fine d'un profil par défaut sur le forum de GeckoZone pour que ça profite à d'autres administrateur système.


Nomade en camion utilisant Ubuntu. Si vous souhaitez suivre mes voyages : http://toutenkamion.net/

Hors ligne

#19 Le 19/11/2017, à 00:14

percherie

Re : Comment changer les paramètres par défaut de Firefox ?

Juste pour conclure, le tutoriel avec les ressources qui m'ont aidés est disponible sur [Tutoriel] Créer un profil Firefox par défaut

Dernière modification par percherie (Le 19/11/2017, à 00:17)


Nomade en camion utilisant Ubuntu. Si vous souhaitez suivre mes voyages : http://toutenkamion.net/

Hors ligne