Nouveau thème pour le blog !
2

Vous l'avez remarqué, le thème du blog vient tout juste de changer ! Un p'tit coup de peinture qui fait du bien et qui redonne un peu de fraîcheur ;)

Modifier les informations d'un commit avec Git History Editor
0

Il arrive parfois que l'on se trompe ou que l'on oublie des informations dans le message d'un commit Git. Soit on décide de laisser comme ça, soit il faut procéder à la modification des infos du commit. Un peu pénible... Git History Editor va énormément vous simplifier cette tâche !

Regroupez plusieurs flux RSS en un seul avec RSSUnify
0

Regrouper les sources d'informations pour n'en faire qu'une seule au final est l'objectif du site RSSUnify. Grâce à cet outil, vous pouvez créer un flux RSS contenant les entrées de plusieurs flux RSS différents.

gtop, un outil de monitoring avec graphiques dans votre terminal
2

Si vous êtes sysadmin ou travaillez dans le domaine, surveiller un serveur, c'est une tâche que vous faites souvent. Sous Linux, il existe une tonne d'outils : du plus simple et rudimentaire à l'usine à gaz. Découvrons un nouveau venu : gtop.

Une extension Chrome pour récupérer les flux RSS d'un site
2

Lorsque je souhaite ajouter un flux RSS d'un site à mon lecteur de flux préféré, je suis souvent embêté car de moins en moins de site affichent un lien vers le(s) flux RSS qu'il propose. Je me rends alors dans le code source et récupère l'URL du flux RSS qui m'intéresse. Devant cette problématique (peut-être personnelle), j'ai créé une extension Chrome qui permet de s'affranchir de cette manipulation.