Forcer une identity SSH pour un host en particulier 6
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.
Tag Archives : git
Récupérer une branche supprimée sous Git 5
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 2
Parce que quand y a plus de git, y en a encore.
Être alerté par Git quand un fichier a été modifié durant le dernier merge 1
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 ?
Git next et Git prev, pour vos tutos 16
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.
A l’intérieur de mon .bashrc 22
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.
git revert pour annuler proprement le dernier commit 4
On ne peut pas à proprement parler supprimer une commit de Git. Mais on peut l’inverser proprement.
Rechercher dans l’historique de Git 2
Parce qu’avoir un historique ça ne sert à rien si on ne peut pas chercher dedans
Un petit alias bash pour git que j’aime bien
Une seconde de gagnée par jour
Votre Python aime les pip 30
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 ?