vcsh configuration for config-bash