shell: replace time with user@host in prompt