HelloMasto ! Est-ce que quelqu'un sait s'il y a un moyen d'ajouter geoportail.gouv.fr dans les moteurs de recherche de Firefox ? Merci !
[#]IGN #Firefox
=> More informations about this toot | More toots from vianneybarbin@framapiaf.org
@vianneybarbin
À une époque, il suffisait de faire un clic droit sur le champ de recherche, et il y avait une option pour ça.
Mais j'ai l'impression que Firefox a retiré cette fonctionnalité :(
Bref, si quelqu'un a une solution (autre que d'installer une extension par moteur de recherche), je suis aussi preneur.
=> More informations about this toot | More toots from John_Livingston
@vianneybarbin
Ah, apparemment ma mémoire m'a joué des tours... Ce n'est pas sur le champ de recherche qu'il faut cliquer, mais sur la barre d'adresse :
https://support.mozilla.org/fr/kb/ajouter-ou-supprimer-un-moteur-de-recherche-dans-firefox#w_ajouter-un-moteur-de-recherche-depuis-la-barre-dadresse
Mais geoportail n'a pas l'air compatible.
=> More informations about this toot | More toots from John_Livingston
@John_Livingston @vianneybarbin oui ici ce n'est pas la faute de Firefox mais de geoportail qui ne permet pas de déclencher une recherche depuis l'adresse de la page.
=> More informations about this toot | More toots from zaru@piaille.fr
@zaru @John_Livingston @vianneybarbin Techniquement c'est possible de pallier au manquement du site avec un script utilisateur, mais ce serait mieux d'ajouter la fonctionnalité au site pour que tout le monde puisse en bénéficier plus facilement.
=> More informations about this toot | More toots from Changaco@mastodon.cloud
@zaru @John_Livingston @vianneybarbin Il existe une extension qui permet d'ajouter un moteur de recherche à Firefox à partir d'un clic droit sur le champ de recherche d'un site, mais il faudrait la modifier pour qu'elle gère les sites comme géoportail.
https://addons.mozilla.org/en-US/firefox/addon/search-engines-helper/
=> More informations about this toot | More toots from Changaco@mastodon.cloud
@Changaco @John_Livingston @vianneybarbin comme dit, ce n'est pas un problème de Firefox mais de geoportail. On ne peut pas trigger de recherche depuis l'URL. C'est juste un champ avec du js. Il n'y a même pas de page pour la recherche. Quand tu fais entrer dans leur champ ça sélectionne le premier résultat et c'est tout. Donc Firefox ne pourra pas le gérer quoi qu'il arrive, sauf si tu t'amuse à injecter du code dans geoportail qui écoute l'URL et vient insérer du texte dans leur champ. Mais ça a de bonnes chances de pas marcher et surtout de pas survivre à une mise à jour.
=> More informations about this toot | More toots from zaru@piaille.fr
@zaru Une extension qui modifierait la valeur du champ de recherche et enverrait des signaux similaires à ceux générés par des frappes clavier (keyup
et autres) devrait fonctionner dans presque tous les cas, y compris celui de géoportail.
@John_Livingston @vianneybarbin
=> More informations about this toot | More toots from Changaco@mastodon.cloud This content has been proxied by September (ba2dc).Proxy Information
text/gemini