Guest User

Untitled

a guest
Jul 22nd, 2018
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.64 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. prompt_setter() {
  4. # Save history
  5. history -a
  6. history -c
  7. history -r
  8. # has user and server
  9. # PS1="$(scm_char) [\[$black\]\u\[$reset_color\]@\[$blue\]\h\[$reset_color\]] \[$red\]\w\[$green\]$(scm_prompt_info)$(rvm_version_prompt) \[$yellow\]$\[$reset_color\] "
  10. # no user and seruver
  11. PS1="\[$red\]$(scm_char) \[$blue\]\w\[$yellow\]$(scm_prompt_info)$(rvm_version_prompt) \[$black\]$\[$reset_color\] "
  12. PS2='> '
  13. PS4='+ '
  14. }
  15.  
  16. PROMPT_COMMAND=prompt_setter
  17.  
  18. SCM_THEME_PROMPT_DIRTY=" ✗"
  19. SCM_THEME_PROMPT_CLEAN=" ✓"
  20. SCM_THEME_PROMPT_PREFIX=" ("
  21. SCM_THEME_PROMPT_SUFFIX=")"
  22. RVM_THEME_PROMPT_PREFIX=" ("
  23. RVM_THEME_PROMPT_SUFFIX=")"
Add Comment
Please, Sign In to add comment