}
Yvonnou Théo

Ingénieur d'étude et développement

Infotel

Développeur Java

Yvonnou Théo

Ingénieur d'étude et développement

Infotel

Développeur Java

Articles

Git & Terminal

14 avril 2020 Bash, Git
Git & Terminal

Vous trouverez dans cet article des commandes afin de personnaliser votre terminal pour l’utilisation de GIT.

Personnalisation du terminal

Installation de Zsh :

sudo apt-get install zsh

Installation de Oh My Zsh :

// Avec CURL
 sh -c "$(curl -fsSL https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" 
// Ou Avec WGET
 sh -c "$(wget -O- https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" 

Choix du thème :

Pour changer de thème il vous suffit de modifier le fichier ~/.zshrc et de changer la valeur de la variable ZSH_THEME= par le nom du thème voulu (un redémarrage peut être nécessaire).
Vous pouvez retrouver la liste des thèmes disponibles ici.

Personnalisation de GIT

Pour personnaliser GIT vous devez modifier le fichier ~/.gitconfig .

Informations utilisateur :

Vous pouvez tout d’abord rentrer vos informations utilisateur afin d’éviter de devoir les rentrer à chaque fois.

[user]
         name = Yvonou Théo
         email = tyvonnou@gmail.com
         password = **************

Aliases GIT :

Vous pouvez également rentrer des aliases afin de simplifier les commandes de GIT.

[alias]      
           co = checkout      
           cob = checkout -b           
           st = status         
           cm = commit -m           
           po = push origin           
           pom = push origin master           
           pod = push origin develop           
           ls = log --graph --decorate --pretty=oneline --abbrev-commit --all      
           log = log --graph --pretty=tformat:'%Cred%h%Creset -%C(auto)%d%Creset %s %Cgreen(%an %ar)%Creset' --all 

Taggs: