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

Mettre en place un backup de Github

C’est cool de faire confiance à des sites pour conserver nos données, mais il peut arriver à un moment que celles-ci disparaissent. Soit parce que vous ne respectez plus les CGU du site, soit parce que le site a subi une panne vraiment importante et que leur processus de sauvegarde a été négligé, soit parce que vous avez vous-même supprimé vos données par erreur tel un gros boulet (ça arrive souvent aussi, même aux meilleurs).

Si on prend Github, il peut être intéressant de faire un backup régulier de tout ce que vous y stockez et des repos auxquels vous avez accès. Vous n’en aurez surement jamais besoin, mais c’est le principe même de la sauvegarde : Prévoir le « au cas où… ».

Pour sauvegarder vos données Github régulièrement, il existe le script python github-backup qui nécessite la création d’un token et qui ensuite s’installe comme ceci :

pip install github-backup

Puis pour lancer la sauvegarde, voici la commande (vous pouvez aussi la placer dans une crontab pour déclencher un backup programmé)

github-backup USERNAME -t VOTRE_TOKEN -o /chemin/stockage/backup --all

Ça c’est la commande de base, mais il y a des tas de paramètres pour faire de l’incrémental ou inclure dans votre backup uniquement les dépôts mis en favoris (starred), ceux que vous surveillez (watched), les pull requests, les issues…etc. Bref, il y a de quoi faire. Et avec le paramètre –all, tout est sauvegardé donc vous êtes peinard.

Toutes les infos sont ici.


Rejoindre 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