Advertisement
Guest User

Untitled

a guest
Jan 17th, 2017
96
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.98 KB | None | 0 0
  1. # credits to virtualenv
  2. kerl_deactivate()
  3. {
  4. if [ -n "$_KERL_PATH_REMOVABLE" ]; then
  5. PATH=${PATH//${_KERL_PATH_REMOVABLE}:/}
  6. export PATH
  7. unset _KERL_PATH_REMOVABLE
  8. fi
  9. if [ -n "$_KERL_MANPATH_REMOVABLE" ]; then
  10. MANPATH=${MANPATH//${_KERL_MANPATH_REMOVABLE}:/}
  11. export MANPATH
  12. unset _KERL_MANPATH_REMOVABLE
  13. fi
  14. if [ -n "$_KERL_SAVED_REBAR_PLT_DIR" ]; then
  15. REBAR_PLT_DIR="$_KERL_SAVED_REBAR_PLT_DIR"
  16. export REBAR_PLT_DIR
  17. unset _KERL_SAVED_REBAR_PLT_DIR
  18. fi
  19. if [ -n "$_KERL_ACTIVE_DIR" ]; then
  20. unset _KERL_ACTIVE_DIR
  21. fi
  22. if [ -n "$_KERL_SAVED_PS1" ]; then
  23. PS1="$_KERL_SAVED_PS1"
  24. export PS1
  25. unset _KERL_SAVED_PS1
  26. fi
  27. if [ -n "$BASH" -o -n "$ZSH_VERSION" ]; then
  28. hash -r
  29. fi
  30. if [ ! "$1" = "nondestructive" ]; then
  31. unset -f kerl_deactivate
  32. fi
  33. unset KERL_ENABLE_PROMPT
  34. unset KERL_PROMPT_FORMAT
  35. }
  36. kerl_deactivate nondestructive
  37.  
  38. _KERL_SAVED_REBAR_PLT_DIR="$REBAR_PLT_DIR"
  39. export _KERL_SAVED_REBAR_PLT_DIR
  40. _KERL_PATH_REMOVABLE="/home/jorendorff/dev/Rustler/kerl_env/bin"
  41. PATH="${_KERL_PATH_REMOVABLE}:$PATH"
  42. export PATH _KERL_PATH_REMOVABLE
  43. _KERL_MANPATH_REMOVABLE="/home/jorendorff/dev/Rustler/kerl_env/lib/erlang/man:/home/jorendorff/dev/Rustler/kerl_env/man"
  44. MANPATH="${_KERL_MANPATH_REMOVABLE}:$MANPATH"
  45. export MANPATH _KERL_MANPATH_REMOVABLE
  46. REBAR_PLT_DIR="/home/jorendorff/dev/Rustler/kerl_env"
  47. export REBAR_PLT_DIR
  48. _KERL_ACTIVE_DIR="/home/jorendorff/dev/Rustler/kerl_env"
  49. export _KERL_ACTIVE_DIR
  50. if [ -f "/home/jorendorff/.kerlrc" ]; then . "/home/jorendorff/.kerlrc"; fi
  51. if [ -n "$KERL_ENABLE_PROMPT" ]; then
  52. _KERL_SAVED_PS1="$PS1"
  53. export _KERL_SAVED_PS1
  54. if [ -n "$KERL_PROMPT_FORMAT" ]; then
  55. FRMT="$KERL_PROMPT_FORMAT"
  56. else
  57. FRMT="(%BUILDNAME%)"
  58. fi
  59. PRMPT=$(echo "$FRMT" | sed 's^%RELEASE%^19.1^;s^%BUILDNAME%^19.1^')
  60. PS1="$PRMPT$PS1"
  61. export PS1
  62. fi
  63. if [ -n "$BASH" -o -n "$ZSH_VERSION" ]; then
  64. hash -r
  65. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement