Il est possible d'ajouter des scripts JavaScript utilisateur (ou userscripts) sous Opera pour ajouter des fonctions supplémentaires au navigateur. Cependant, ce code ne peut être lancé directement, il y a quelques réglages à effectuer. Voici comment configurer Opera pour y lancer nos scripts JavaScript en quelques étapes. Réglages......more

Webdesign JavaScript alert et accents Google CDN Naming Conventions jQuery 1.6 Released Divers Game developer David Braben creates a USB stick PC for $25 Permis hauturier : cours marins Subtle but Very Important Twitter Tips and Techniques You Should Know (cause no one will tell you) Voyage 10 of the best hostels in London [protect]Sécurité Guide......more

Problème : Flash ne se lance pas sous Chromium sous prétexte qu'il n'est pas à jour Je démarre mon portable l'autre jour, je lance Chromium et là paf! un message d'erreur me disant que le plugin Flash n'est pas lancé parce qu'il n'est pas à jour : J'ai......more

Ces derniers temps, je travaille sur le site internet du collège. Du coup, j'ai moins de temps pour le mien tiens. Bref, j'y travaille donc et je rajoute quelques petits liens utiles comme des liens vers l'Inspection Académique, le Bulletin Officiel, le site académique... que des......more

Vous avez très certainement remarqué qu'à chaque fois que l'on édite un fichier sous Ubuntu (toto.php par exemple), le système crée une copie de sauvegarde (~toto.php) en fichier caché. Alors, il y a des fois où cela peut s'avérer très utile mais la plupart du temps,......more

Bon, c'est une astuce un peu érodée maintenant et je suis sûr que vous êtes plusieurs ici à la connaître mais je la rajoute quand même ici pour référence. J'ai montré cela au responsable TICE de mon collège récemment et il n'en revenait pas : il......more