Korben, roi d’internet, logo bébé avec des lunettes en mode thug life Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Korben Upgrade your mind

Chrome Toolbox – Couper le son des onglets (et d’autres choses)

Je me connecte à un super site… puis je continue ma navigation et je me retrouve avec 50 onglets ouverts dans mon navigateur Chrome. Quand soudain, une affreuse musique retentit dans mes enceintes, provoquant une espèce de mélange cacophonique avec l’album de Bashung que je suis en train d’écouter …

ARGH !

Plusieurs solutions s’offrent à moi :

  1. Couper totalement le son sur mon ordi, me privant donc de belle musique
  2. Chercher l’onglet responsable de ce crime auditif… Mais impossible de le trouver rapidement.
  3. Fermer tous mes onglets ou mon navigateur.

Bof quoi…

Mais Google a pensé à vous et propose une extension pour son navigateur qui s’appelle Chrome Toolbox et qui permet entre autres choses de « muter » vos onglets d’un seul coup. Génial pour continuer à écouter votre musique dans le calme et éviter la crise de nerfs avec cette pub hurlante.

Mute All Tabs Google Chrome

Mis à part cela, Chrome Toolbox propose aussi d’autres fonctionnalités qui pourraient vous intéresser :

  • Zoomer sur une image, la mettre comme un fond d’écran ou la voir en taille originale
  • Glisser déposer une vidéo flash hors de la page pour en faire un player seul (pratique !!)
  • Paramétrer le comportement des onglets (fermeture, ouverture…etc.)
  • Sauvegarder et restaurer les formulaires non envoyés afin d’éviter les pertes de données en cas d’expiration de session
  • paramétrer un raccourci pour lancer toutes ses URLs préférées en une seule fois
  • Un mémento pour les raccourcis clavier
  • Paramétrage des accès rapides aux fonctionnalités Chrome que vous utilisez le plus.
  • Et surtout la possibilité de paramétrer une BOSS KEY, qui permet de quitter le navigateur en 1/4 de seconde lorsque votre chef arrive dans votre dos ! <— Indispensable !!!

À télécharger d’urgence ici.

[Source et photo]


Installer le shell Bash (Linux) sous Windows 10

L’année dernière, ça ne vous a pas échappé, Bash a fait son apparition sous Windows 10. C’est pour moi, la meilleure chose qui soit arrivée à Windows depuis un moment, car ça permet de lancer des outils Linux et de développer ses propres scripts Shell directement sous Windows. Le pied !

Mais même si c’est parfaitement fonctionnel, il faut quand même…

Lire la suite


Plus de 60 idées pour votre Raspberry Pi

Nous sommes nombreux à nous être procuré un petit ordinateur Raspberry Pi pour nous lancer dans des projets de ouf malade… C’est très cool, mais à part le classique Media Center XBMC, qu’avez-vous fait avec votre Raspberry Pi ?

Si vous séchez niveau idées, voici une petite sélection…

Lire la suite


Une astuce pour rendre Windows 10 plus rapide

Si vous trouvez que Windows 10 est un peu lent, que vos applications ne se lancent pas très vite, que vos compilations prennent du temps, voici une petite astuce débusquée par Brominou pour accélérer le bouzin.

Cliquez dans la zone de recherche de la barre Windows et tapez le mot clé « Performances ». Puis cliquez sur « Régler l’apparence et les performances de Windows » …

Lire la suite


Changer d’adresse IP rapidement

Une petite astuce pour ceux qui ne connaissent pas. Comment changer d’adresse IP à la volée.
Il suffit d’en demander une nouvelle à son provider si celui-ci accepte les IP dynamiques. Pour vérifier que vos manipulation ont eu l’effet escompté, vérifiez quelle est votre adresse IP….

Lire la suite