Changes to bash_preferences committed via script
Changes to bash_preferences committed via script