Nos bookmarklets
Découvrez nos bookmarklets et ceux de la communauté, offrant une personnalisation technique adaptée à vos besoins ! Vous pouvez aussi utilisé ces bookmarklets sur tablette ou téléphone !
Qu'est-ce qu'un bookmarklet ?
Un bookmarklet est un petit outil enregistré dans votre barre de favoris qui vous permet de modifier une page web en un simple clic.
Presentation
-
Calculateur de moyenne
Obtenez instantanément vos moyennes d'un simple clic !
-
Connexion Automatique
Facilitez-vous la vie en vous connectant ou vous reconnectant en un simple clic !
-
Consultation de la Carte de la Cantine
Accédez rapidement à votre carte de cantine en un clic !
Installation & Utilisation
Nos bookmarklet sont un type de favori(1), soit un lien web sauvegardé pour un accès rapide, généralement situé dans la barre d'outils en haut de votre navigateur internet. Il permet aux utilisateurs de retrouver facilement des pages web intéressantes sans avoir à mémoriser les URL, facilitant ainsi la navigation sur internet.
- Aussi connu sous le nom de marque-pages et signet en français ou bookmark en anglais !
Ces bookmarklets se trouvent dans la barre des favoris du navigateur. Si vous ne la voyez pas, il est nécessaire de l'afficher.
Afficher la barre des favoris (si nécessaire).
Ajouter l'un de nos bookmarklets à la barre des favoris.
Afficher la barre des favoris (si nécessaire) et ajouter l'un de nos bookmarklets à la barre des favoris.
Afficher la barre des favoris (si nécessaire).
Ajouter l'un de nos bookmarklets à la barre des favoris.
Afficher la barre des favoris (si nécessaire).
Ajouter l'un de nos bookmarklets à la barre des favoris.
Afficher la barre des favoris (si nécessaire).
Ajouter l'un de nos bookmarklets à la barre des favoris.
En cours de création !