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='+ '