Un gestionnaire de scripts utilisateur, également appelé moteur de scripts utilisateur (en anglais userscript manager), est une extension de navigateur et une technologie de navigation augmentée (en) qui fournit une interface utilisateur pour exécuter et organiser des scripts utilisateur (en). Son rôle principal est d'exécuter des scripts sur des pages web prédéfinies lors de leur chargement, par exemple, exécuter un script utilisateur pour modifier uniquement les pages de youtube.com. Cependant, les gestionnaires de scripts utilisateur peuvent également effectuer l'installation, l'organisation, la création, la copie, l'enregistrement, la suppression et la modification (y compris la modification des permissions des pages web) des scripts utilisateur[1].
Les gestionnaires de scripts utilisateur utilisent les métadonnées intégrées au code source d'un script principalement pour déterminer les sites web sur lesquels il doit s'exécuter et les dépendances nécessaires à son bon fonctionnement. Les métadonnées peuvent également inclure des informations utiles à l'utilisateur, telles que le nom du script, son auteur, sa description et son numéro de version.
Parmi les gestionnaires de scripts utilisateur les plus populaires, on trouve Tampermonkey (en), Greasemonkey, Violentmonkey[2] et Userscripts for Safari[3]. Le navigateur Gear pour iOS intègre un gestionnaire de scripts utilisateur[réf. souhaitée].
Fonctions
modifierUn script utilisateur est un programme informatique (écrit en JavaScript) contenant des métadonnées destinées à être utilisées par un gestionnaire de scripts utilisateur. Ces métadonnées contiennent des délimiteurs spécifiques permettant au gestionnaire de scripts utilisateur de le distinguer des fichiers JavaScript ordinaires, ainsi que des paramètres de configuration utilisés lors de l'installation.
Les fonctions typiques d'un gestionnaire de scripts utilisateur comprennent :
- Téléchargement, installation et stockage des scripts utilisateur
- Appel de scripts utilisateur
- À chaque ouverture d'une page web, tous les scripts utilisateur sont analysés pour vérifier si leurs autorisations correspondent à l'URL de la page, ou à une partie de celle-ci. Les scripts utilisateur correspondants sont exécutés, ce qui leur permet de traiter le contenu de la page, par exemple en modifiant son apparence ou en y ajoutant des fonctionnalités.
- Téléchargement des dépendances (par exemple, bibliothèques tierces, images) lors de l'exécution d'un script utilisateur
- Création et modification de scripts utilisateur
- Enregistrement des scripts utilisateur sur le disque
- Fourniture de mises à jour automatiques
Notes et références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Userscript manager » (voir la liste des auteurs).
- ↑ « Greasy Fork - safe and useful user scripts », greasyfork.org (consulté le 26 avril 2024)
- ↑ « Violentmonkey », sur violentmonkey.github.io (consulté le 27 janvier 2026)
- ↑ (en-US) « Userscripts App », sur App Store, 6 août 2025 (consulté le 27 janvier 2026)
Voir aussi
modifier
