plugins, bash prompt