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.

Des banques de sons gratuits
0

Qu'on les remarque ou non, les effets sonores sont utilisés dans énormément de domaines et de contenus. Que ce soit dans des jeux vidéo, des émissions TV, des films, des vidéos, ils sont là pour améliorer l'immersion et permettent d'améliorer la qualité du contenu produit. Découvrons quelques sites qui proposent des banques de sons gratuits.