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