Tu veux un fichier texte pour les options de Firefox ? Très bien. Édite le fichier prefs.js qui est situé dans ton profil.
C'est pas parce qu'il y a une interface pour modifier facilement de prefs.js que ça en fait un logiciel pourri.
Tu as réussi à l'enlever de la liste des moteurs de recherche, mais, zut, quand tu veux utiliser la barre d'URL pour ta recherche (plus simple: F6 et voila, et puis elle est plus grande cette barre après tout) voila que ce fichu moteur que tu n'aimes pas rapplique au quart de tour.
Je ne sais pas où tu as vu ça. Ce que tu tapes dans l'URL utilise le moteur de recherche que tu as sélectionné, pas google.
si mozilla a planqué cette option, pourtant pas sensible, dans la page des paramètres internes, c'est parce qu'ils dépendent de google
Ou c'est peut-être aussi… qu'elle n'existe pas tout simplement :-p
[^] # Re: Internet
Posté par Laurent J (site web personnel, Mastodon) . En réponse à la dépêche Mozilla a 15 ans. Évalué à 6.
Tu veux un fichier texte pour les options de Firefox ? Très bien. Édite le fichier prefs.js qui est situé dans ton profil.
C'est pas parce qu'il y a une interface pour modifier facilement de prefs.js que ça en fait un logiciel pourri.
Je ne sais pas où tu as vu ça. Ce que tu tapes dans l'URL utilise le moteur de recherche que tu as sélectionné, pas google.
Ou c'est peut-être aussi… qu'elle n'existe pas tout simplement :-p