shortened bash prompt