This switches the doubletime theme over to using a variable for
determining what to display in the prompt. The original version's use
of a hard-coded `@local` means you would have that suffix displayed even
on remote machines.
#!/bin/bash
+THEME_PROMPT_HOST='\H'
SCM_THEME_PROMPT_DIRTY=' ✗'
SCM_THEME_PROMPT_CLEAN=' ✓'
SCM_THEME_PROMPT_PREFIX=' |'
history -c
history -r
PS1="
-\t $(scm_char) [\[$blue\]\u@local\[$reset_color\]] \w
+\t $(scm_char) [\[$blue\]\u@${THEME_PROMPT_HOST}\[$reset_color\]] \w
$(doubletime_scm_prompt)\[$reset_color\] $ "
PS2='> '
PS4='+ '