Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

provision: Clean up comments and unused variables. 

This has some changes inspired by #8514.
This commit is contained in:
Tim Abbott 2019-01-04 15:15:36 -08:00
parent e15b279fb3
commit 453b65bde3
2 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/lib/provision.py
View File

@ -211,8 +211,6 @@ REPO_STOPWORDS_PATH = os.path.join(
"zulip_english.stop", "zulip_english.stop",
) )
LOUD = dict(_out=sys.stdout, _err=sys.stderr)
user_id = os.getuid() user_id = os.getuid()
def setup_shell_profile(shell_profile): def setup_shell_profile(shell_profile):
@ -408,13 +406,13 @@ def main(options):
os.makedirs(UPLOAD_DIR_PATH, exist_ok=True) os.makedirs(UPLOAD_DIR_PATH, exist_ok=True)
# create test upload directory `var/test_upload` # create test upload directory `var/test_upload`
os.makedirs(TEST_UPLOAD_DIR_PATH, exist_ok=True) os.makedirs(TEST_UPLOAD_DIR_PATH, exist_ok=True)
# create coverage directory`var/coverage` # create coverage directory `var/coverage`
os.makedirs(COVERAGE_DIR_PATH, exist_ok=True) os.makedirs(COVERAGE_DIR_PATH, exist_ok=True)
# create linecoverage directory`var/node-coverage` # create linecoverage directory `var/node-coverage`
os.makedirs(NODE_TEST_COVERAGE_DIR_PATH, exist_ok=True) os.makedirs(NODE_TEST_COVERAGE_DIR_PATH, exist_ok=True)
# `build_emoji` script requires `emoji-datasource` package which we install # The `build_emoji` script requires `emoji-datasource` package
# via npm and hence it should be executed after we are done installing npm # which we install via npm; thus this step is after installing npm
# packages. # packages.
if not os.path.isdir(EMOJI_CACHE_PATH): if not os.path.isdir(EMOJI_CACHE_PATH):
run(["sudo", "mkdir", EMOJI_CACHE_PATH]) run(["sudo", "mkdir", EMOJI_CACHE_PATH])

3
tools/provision
View File

@ -14,8 +14,7 @@ FAIL='\033[91m'
WARNING='\033[93m' WARNING='\033[93m'
ENDC='\033[0m' ENDC='\033[0m'
#Make the script independent of the location from where it is # Make the script independent of the location from where it is executed
#executed
PARENT_PATH=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) PARENT_PATH=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$PARENT_PATH" cd "$PARENT_PATH"
mkdir -p ../var/log mkdir -p ../var/log