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

Quels sont les outils utilisés par les développeurs professionnels ?

Si vous êtes développeur, vous avez sans doute vos petites habitudes, vos outils et autres IDE préférés, sans parler de la config aux petits oignons de chacun d’eux.

Et c’est cool.

Souvent les techos aiment bien partager leur set-up ou la liste de leur matos avec d’autres. Ça inspire, ça permet de découvrir de nouvelles choses ou ça rassure sur le fait qu’on ait fait les bons choix.

La bonne nouvelle c’est que plusieurs développeurs d’un excellent niveau ont fait de même dans divers articles de blog, et que cette liste sur Github les recense. D’ailleurs si vous voulez en ajouter, ne vous privez pas.

J’y ai découvert quelques outils sympas, mais aussi que certains avaient des environnements de dev très épurés voire un environnement de travail très zen.

Le bureau de Eliott Forbes

Bonne lecture à tous !


Clavier et Souris Optique V7 sans fils

Connectivité WiFi

Quand il s’agit de confort, de réactivité et de valeur, la gamme de claviers de qualité V7 est inégalée.
Les claviers à touches incurvées et faciles d’utilisation de V7 présentent un toucher souple et une rétroaction tactile pour pouvoir taper de manière confortable et réactive.
Avec une interface simple, il suffit de les brancher pour bénéficier d’une performance et d’un confort exceptionnels.

En Savoir +



Démarrer la discussion sur Korben Communauté

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