Les substitutions locales sont une fonctionnalité expérimentale relativement nouvelle des outils de développement du navigateur Web de Google Chrome que vous pouvez utiliser pour modifier de façon permanente les pages Web, comme vous le feriez avec des scripts utilisateur ou des styles d'utilisateurs.
Bien que la plupart des utilisateurs ne veuillent peut-être pas modifier le style ou tout autre contenu des pages Web qu'ils visitent régulièrement; Certains utilisateurs souhaitent le faire pour supprimer les inconvénients, améliorer la convivialité ou apporter d'autres modifications.
Un bon exemple est un site trop brillant aux yeux de l'utilisateur. En utilisant des substitutions, vous pouvez changer le style du site Web en un style sombre pour le rendre plus agréable à regarder. Vous pouvez également l'utiliser pour augmenter ou réduire la taille des polices, modifier les polices, supprimer des images d'arrière-plan ou manipuler tout autre élément de la page.
Configuration de remplacements locaux dans Google Chrome
Les substitutions locales sont une fonctionnalité expérimentale de Google Chrome disponible dans toutes les versions prises en charge du navigateur.
Voici ce que vous devez faire pour l'activer:
- Appuyez sur F12 pour afficher l'interface des outils de développement.
- Tapez sur F1 dans l'interface pour ouvrir les préférences.
- Sous Préférences, recherchez "Activer les remplacements locaux" et cochez cette option.
- isit une page Web sur laquelle vous souhaitez apporter des modifications permanentes.
- Basculez vers le panneau Sources dans les outils de développement.
- Cliquez sur l'icône avec les deux flèches pointant vers la gauche, puis sélectionnez Remplacements dans le menu.
- Sélectionnez "les remplacements d'installation" et choisissez un dossier local dans lequel vous souhaitez stocker les remplacements.
- Acceptez la demande de Chrome pour accéder au dossier.
Utilisation de remplacements locaux dans Google Chrome
L'utilisation de substitutions pour les ressources est assez simple. Ouvrez le panneau Réseau dans le navigateur pour commencer. Si aucun fichier chargé ne s'affiche, rechargez la page pour remplir la liste.
Cliquez avec le bouton droit de la souris sur le fichier de ressource que vous souhaitez remplacer et sélectionnez l'option "Enregistrer en remplacement". Chrome enregistre les données sur le système local et les utilisera à la place de la ressource d'origine lors du chargement de la page Web.
Vous pouvez éditer le fichier puis sous Sources> Remplacements. Cela fonctionne bien pour les styles, mais vous pouvez remplacer à peu près n'importe quel fichier source, y compris les pages HTML et les fichiers JavaScript.
Les remplacements sont automatiquement enregistrés et vous pouvez les supprimer de la liste des remplacements dans les outils de développement Chrome ou utiliser les préférences à la place.
La section Remplacements des préférences des outils de développement répertorie tous les sites avec des remplacements. Lorsque vous survolez une entrée, vous pouvez la supprimer pour supprimer tous les remplacements ou cliquer sur Modifier pour modifier le nom de domaine.
Regardez la vidéo d'instruction suivante qui montre comment utiliser cette fonctionnalité pour améliorer les performances des pages Web.
Mots de clôture
Les dérogations locales sont une fonctionnalité expérimentale qui signifie que Google peut les extraire ultérieurement ou les intégrer pleinement dans le navigateur. Pour le moment, c'est une excellente option pour changer le style ou le code des pages Web que vous visitez régulièrement et une alternative à l'utilisation de styles d'utilisateurs ou de scripts.
Le principal avantage de l'option intégrée est que vous pouvez utiliser les outils de développement de Chrome pour voir les modifications en temps réel sans avoir à enregistrer manuellement des fichiers externes et à recharger des pages chaque fois que vous apportez des modifications.
Now You : Utilisez-vous des scripts utilisateurs ou des styles?
