Forcer une identity SSH pour un host en particulier
Vous avez accumulé un certain nombre de clés SSH, et pour certains serveur ou certains sites Web (github, bitbucket…), vous voulez utiliser une clé SSH et pas une autre.
La suiteRécupérer une branche supprimée sous Git
Vous avez supprimé une branche (avec git branch -D nom_de_branche), pas de panique. Tant que le garbage collector n’est pas passé, la branche est toujours dans l’historique.
Quelques commandes Git qu’elles sont bien
Parce que quand y a plus de git, y en a encore.
La suiteÊtre alerté par Git quand un fichier a été modifié durant le dernier merge
Il y a certains fichiers comme les migrations ou les fichiers de settings dont vous avez besoin de connaître l’état. Si un collègue les modifies et les push, vous voulez le savoir au moment du pull. Bien sûr vous pouvez scruter la liste des modifs à ce moment là, mais n’est-ce pas tellement mieux si votre ordinateur fait ça pour vous et affiche une grosse alerte rouge ?
La suiteGit next et Git prev, pour vos tutos
Il peut être pratique de fournir un repository Git plein de code à télécharger dans un tuto. Parfois le code à plusieurs états, comme autant d’étapes que vous voulez que le lecteur découvre au fur et à mesure.
La suiteA l’intérieur de mon .bashrc
Généralement montrer son .bashrc donne rapidement lieu dans les comments à un concours de celui qui a la plus longue (jusqu’à ce qu’arrive un utilisateur de zsh, et alors commence le concours de celui qui pisse le plus loin). Mais bon, aujourd’hui j’ai la flemme d’écrire un article complet.
La suitegit revert pour annuler proprement le dernier commit
On ne peut pas à proprement parler supprimer une commit de Git. Mais on peut l’inverser proprement.
La suiteRechercher dans l’historique de Git
Parce qu’avoir un historique ça ne sert à rien si on ne peut pas chercher dedans
La suiteUn petit alias bash pour git que j’aime bien
Une seconde de gagnée par jour
La suiteVotre Python aime les pip
Pip install par-ci, pip install par là. “Pour installer cette lib, il vous suffit de faire pip install”.
Mais merde, c’est quoi pip ?
