Changes to bash_preferences committed via script