Git/Linux
Nous allons maintenant voir comment, lorsque vous travaillez sous Linux, vous pouvez travailler au mieux avec Git et augmenter votre productivité.
Installer un prompt git
modifierSi vous travaillez sur un projet plusieurs heures d'affilée, vous avez probablement une console qui reste ouverte en permanence pour commiter régulièrement. Autant éviter de taper « git » à chaque fois, et de passer son temps à faire des « git branch » pour savoir sur quelle branche on travaille.
Pour gagner du temps, vous pouvez installer un prompt git, et pour commencer à travailler, taper
git sh
Cela nous ouvre un prompt git. Désormais, l'invite de commande vous indique le répertoire dans lequel vous vous trouvez mais aussi la branche courante. Toutes les commandes sont automatiquement préfixées par "git", vous pouvez taper directement la commande git à appliquer.
Ctrl+D vous permet de quitter le prompt à tout moment.
Ce shell intègre également beaucoup de raccourcis, consulter git sh --help
pour avoir la liste. Quelques exemples :
# L'espace de travail
a # git add
aa # git add --update (mnémonique « add all »)
stage # git add
ap # git add --patch
p # git diff --cached (mnémonique « patch »)
ps # git diff --cached --stat (mnémonique « patch stat »)
unstage # git reset HEAD
# Commits et historique
ci # git commit --verbose
ca # git commit --verbose --all
amend # git commit --verbose --amend
n # git commit --verbose --amend
k # git cherry-pick
re # git rebase --interactive
pop # git reset --soft HEAD^
peek # git log -p --max-count=1
# Dépôt distant
f # git fetch
pm # git pull (mnemonic: « pull merge »)
pr # git pull --rebase (mnémonique « pull rebase »)
# Divers
d # git diff
ds # git diff --stat (mnémonique « diff stat »)
hard # git reset --hard
soft # git reset --soft
scrap # git checkout HEAD
Si vous tapez dans commande système telles que rm
(pour supprimer un fichier) ou reset
(pour purger l'affichage dans le terminal), ce sera git rm
et git reset
qui seront appelées ! Ce n'est pas ce que vous voulez.
Configurer plusieurs comptes vers la même forge
modifierPar exemple pour utiliser un compte Git personnel et un professionnel sur GitLab sur le même PC, cela comporte deux étapes[1] :
- Générer et ajouter les clés SSH sur https://gitlab.com/-/profile/keys (pas rsa car incompatible)
- Ajouter le mapping des clés avec les dépôts avec vim ~/.ssh/config