Shell configure: beautify .sh_manpage_color
Bash: sync and update configuration safely