Add global Git ignore files.
Fix `d`.
Add some short Git commands.
Set gnome-terminal theme with Python.
Integrate bash file navigation.
Complete change of install script.
Add Ubuntu Desktop provisioning script.
Add `infect.sh`.
Add `pull-dotfiles-updates`.