fix bug which loses bash history
[distro-setup] / .gitignore_global
2016-08-14 Ian Kellingworking snapshot