#!/bin/bash git config --global user.name "lenoir" git config --global user.email "guillaume.lenoir@uclouvain.be" git config --global color.ui auto git config --global core.editor "vim" git config --global push.default simple