La fonctionnalité de recherche par mot-clé n'a pas été conservée lors la refonte de Firefox pour Android il y a bientôt 3 ans (passage de Firefox Fennec à Fenix).
J'aimais bien car ça permet de lancer une recherche sur un moteur donné sans avoir à le sélectionner dans une liste : on tape un mot-clé en début du texte recherché et paf.
Elle est toujours disponible sur Firefox pour le bureau (via l'option "Ajouter un mot-clé pour cette recherche" disponible dans le menu contextuel des champs de recherche, ou directement en passant par les propriétés des marque-pages).
Du coup j'ai ajouté une page sur github.io qui effectue une redirection (en javascript) à partir de la chaîne de caractère qu'on lui passe en ancre (#texte_recherche).
Sur github.io car je n'ai pas de chez-moi sur le web.
Je peux ajouter la page comme "moteur de recherche", ça fait le taf.
Il aurait été plus efficace de faire la même chose à partir d'une extension, car ça aurait évité un appel http pas franchement utile à chaque recherche (je n'ai pas vérifié si le navigateur garde la page en cache, mais ça m'étonnerait).
Et puis les extensions sur Firefox pour Android c'est tout bloqué aussi (installation de Firefox Nightly obligatoire pour lier une "collection" d'extensions enregistrée à partir de addons.mozilla.org en étant connecté). Bref.
# Commentaire pas très structuré
Posté par potate . En réponse au lien J'ai commis un bout de code pour avoir un semblant de recherche par mot-clé sur Firefox pour Android. Évalué à 6. Dernière modification le 18 avril 2023 à 22:13.
La fonctionnalité de recherche par mot-clé n'a pas été conservée lors la refonte de Firefox pour Android il y a bientôt 3 ans (passage de Firefox Fennec à Fenix).
J'aimais bien car ça permet de lancer une recherche sur un moteur donné sans avoir à le sélectionner dans une liste : on tape un mot-clé en début du texte recherché et paf.
Elle est toujours disponible sur Firefox pour le bureau (via l'option "Ajouter un mot-clé pour cette recherche" disponible dans le menu contextuel des champs de recherche, ou directement en passant par les propriétés des marque-pages).
Des gens avaient râlé sur Github , mais la situation est la même depuis.
Du coup j'ai ajouté une page sur github.io qui effectue une redirection (en javascript) à partir de la chaîne de caractère qu'on lui passe en ancre (#texte_recherche).
Sur github.io car je n'ai pas de chez-moi sur le web.
Je peux ajouter la page comme "moteur de recherche", ça fait le taf.
Il aurait été plus efficace de faire la même chose à partir d'une extension, car ça aurait évité un appel http pas franchement utile à chaque recherche (je n'ai pas vérifié si le navigateur garde la page en cache, mais ça m'étonnerait).
Et puis les extensions sur Firefox pour Android c'est tout bloqué aussi (installation de Firefox Nightly obligatoire pour lier une "collection" d'extensions enregistrée à partir de addons.mozilla.org en étant connecté). Bref.