Use global gitignore from github
Set terminal prompt only in graphical sessions
Auto hide the launcher
Merge branch 'master' into develer