JBNet.fr
Le bloc-note de Jérôme Baudin.

Mémo pour renommer une branche locale et sur le serveur git.

Mémo permettant de créer un .gitgnore global pour tous les dépôts locaux.

Mémo pour utiliser la combinaison de touches Ctrl+d pour quitter une session Powershell.

Mémo pour configurer WSL2 Ubuntu 20.04 (ou autre) comme terminal par défaut sur IntelliJ IDEA sous Windows 10.

Mémo pour exécuter les cibles d’un Makefile dont le nom commence par une chaine de caractères.

Mémo pour afficher les variables d’environnement paramétrées à l’exécution d’un Makefile.

Mémo pour un git reset hard total, y compris les submodules !

Mémo pour ajouter les droits d’exécution à un script sh via git.

Mémo pour avoir la bonne url pour un git clone via SSH sur Gitea avec un port différent.

Mémo avec des tips trouvés de ci de là.