Advertisement
Guest User

Untitled

a guest
Jan 27th, 2020
81
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.52 KB | None | 0 0
  1. WORKDIR=$(pwd)
  2. if [ -z ${USER+xxx} ]; then
  3. echo -e "\e[1;31m[Error] Your USER variable doesn't exists${CLEAR}" >&2
  4. exit 1
  5. fi
  6.  
  7. if [ -z ${GIT_CSHRC+xxx} ]; then
  8. echo -e "\e[1;31m[Error] You are not using GIT cshrc (source /utils/repo/git_cfg/setup/.cshrc.git)${CLEAR}" >&2
  9. exit 1
  10. fi
  11. echo -e "${BOLD} repo_setenv ${CLEAR}-- Set environment variables to use current REPO env ${CLEAR}" >&2
  12. echo -e " [Example] repo_setenv ${CLEAR}" >&2
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement