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

Une extension Firefox pour trouver les userscripts de vos rêves

Si vous n’avez jamais entendu parler des userscripts, alors vous n’êtes pas un lecteur régulier de ce site… Mais ce n’est pas grave car je vais vous faire un petit rattrapage.

Les userscripts sont des bouts de code faits par les internautes qui sont interprétés par des extensions comme Greasemonkey ou Scriptish, voire par les navigateurs directement (comme Chrome), et qui permettent de modifier le look ou les fonctionnalités d’un site web.

C’est super pratique. Mais si comme moi, lors de vos séances de surf quotidien, vous n’avez pas le réflexe d’aller vérifier quels sont les scripts disponibles pour tel ou tel site, alors j’ai ce qu’il vous faut.

Il s’agit de Greasy Fork, une extension qui vous indiquera quels sont les userscripts existants disponibles pour le site que vous êtes en train de visiter. Jusqu’à présent, il existait un site, userscripts.org qui été la référence en userscripts mais ce site a fermé (laissant sa place à ce miroir)

Greasy Fork s’est donné pour mission de remplacer userscripts.org même si pour le moment, il n’y a pas la même richesse que son prédécesseur.

greasyfork

Greasy Fork est à découvrir ici.

Source



PC Intel NUC Mini-PC Intel Core i3 i3-8109U 4 Go 256 Go

Barebone PC avec 8 % de réduction

Les mini PC Intel NUC sont entièrement équipés et prêts à l’emploi. Optimisé et configuré par Intel, ce système dispose d’une garantie de 3 ans et l’assistance clientèle de classe mondiale d’Intel pour une grande tranquillité d’esprit.

Au choix vous trouverez des configurations avec ou sans windows, vous laissant la liberté d’installer votre distribution Linux préférée.

En Savoir + sur ses caractéristiques



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