Si vous avez des soucis dans certains projets Git qui nécessitent un login dans la console pour certaines opérations, c’est certainement que les échanges avec Github passent par HTTPS au lieu de SSH. On va voir ici comment forcer SSH de manière globale pour toutes les connexions à github. Configurer sa clé privée SSH Tout …
Cat est l’abréviation de concaténation. C’est un outil très utile que tous les développeurs connaissent. Elle permet de réaliser un grand nombre d’opérations sur les chaînes de caractères et les fichiers. Les fonctionnalités principales de la commande cat sur les fichiers texte sont les suivantes: Nous allons parcourir chacune de ces fonctionnalités par des exemples …
Quand on bosse en équipe sur un projet, on finit par accumuler pas mal de branches sur notre dépôt local qui ont étés supprimées du remote suite à des merge de PR. Si vous êtes comme moi, vous aimez bien les choses simples et avoir un dépôt local relativement clean. C’est plus facile de s’y …
Git: Supprimer toutes les branches qui ne sont plus sur le dépôt distant Lire la suite »
Parfois quand on utilise Git sur de gros projets, on a besoin de faire des mises à jour sur beaucoup de branches. Il peut arriver de vouloir pull (récupérer) toutes les branches à la fois. Mais aussi push (envoyer) toutes les branches. Attention, le push massif n’est pas à prendre à la légère, soyez surs …
Git push et pull toutes les branches à la fois Lire la suite »
Vous est-il déjà arrivé d’ignorer un gros dossier à l’aide du .gitignore, mais de vouloir malgré tout ajouter un fichier spécifique de ce dossier au repository ? Il faut savoir que les règles définies dans le .gitignore ne s’appliquent qu’aux fichiers qui ne sont pas suivis par git. Cela veut dite que si vous ajoutez …
Envie de faire un peu de ménage ? Voilà une commande pour faire le grand ménage dans vos branches en local. Remplacez « master » par le nom de la branche que vous voulez garder. Attention si les branches supprimées n’ont pas été push, elle seront perdues.
Vous vous êtes sans doute déjà retrouvé dans le scénario suivant. Vous travaillez sur un repository Git hébergé sur GitHub ou GitLab. En local, vous venez de commit vos modifications, puis vous vous rendez compte que c’était une erreur. Vous vous êtes trompé de branche, vous avez commit des fichiers qu’il ne fallait pas, ou …