Ancestors

Written by Vianney BARBIN on 2024-12-02 at 11:13

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

Toot

Written by John Livingston on 2024-12-02 at 11:22

@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

Descendants

Written by John Livingston on 2024-12-02 at 11:24

@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

Written by Zaru on 2024-12-02 at 11:41

@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

Written by Charly C. on 2024-12-02 at 12:21

@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

Written by Charly C. on 2024-12-03 at 22:06

@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

Written by Zaru on 2024-12-03 at 22:36

@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

Written by Charly C. on 2024-12-04 at 19:47

@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

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113582967130956664
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
362.970396 milliseconds
Gemini-to-HTML Time
1.913875 milliseconds

This content has been proxied by September (ba2dc).