Les Bookmarklets (signets en français) sont des petits bouts de codes en Javascript qui s’installent par glisser déposer dans la barre d’outils du navigateur pour effectuer diverses actions : traduction, partage, sauvegarde d’un article…
Pour une raison qui m’échappe un peu, sans doute pour alléger sa barre d’outils, un développeur a conçu une application Web pour convertir un bookmarklet en extension pour Chrome.
L’utilisation de Convert bookmarklet to Chrome extension est toute simple :
- Saisir un nom pour l’extension à ajouter dans Chrome dans la zone Name
- Taper une description
- Glisser déposer le bookmarklet de la barre d’outils de Chrome vers la zone /* drag bookmarklet here */, le code Javascript va être extrait
- Cliquer sur le bouton Generate extension pour sauvegarder l’extension au format zip
- Extraire le fichier zip dans un dossier à part
- Dans les options de Chrome, aller sur la catégorie Extensions, cocher la case mode développeur en haut à droite, cliquer sur le bouton Charger l’extension non empaquetée… puis sélectionner le dossier précédemment créé
- L’extension s’installe, une icône noire permettant d’y accéder s’ajoute automatiquement dans la barre d’outils
La manipulation fonctionne correctement bien que pour gérer les bookmarklets, il existe une solution beaucoup plus simple.
Il suffit en effet de créer un dossier dans la barre des favoris de Chrome, de le nommer Bookmarklets (par exemple) puis de glisser tous les signets dans ce dossier pour centraliser leur accès.
