Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- WORKDIR=$(pwd)
- if [ -z ${USER+xxx} ]; then
- echo -e "\e[1;31m[Error] Your USER variable doesn't exists${CLEAR}" >&2
- exit 1
- fi
- if [ -z ${GIT_CSHRC+xxx} ]; then
- echo -e "\e[1;31m[Error] You are not using GIT cshrc (source /utils/repo/git_cfg/setup/.cshrc.git)${CLEAR}" >&2
- exit 1
- fi
- echo -e "${BOLD} repo_setenv ${CLEAR}-- Set environment variables to use current REPO env ${CLEAR}" >&2
- echo -e " [Example] repo_setenv ${CLEAR}" >&2
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement