##// END OF EJS Templates
Don't do git pull on remote repos since they are bare now, we need to use git fetch on them
Don't do git pull on remote repos since they are bare now, we need to use git fetch on them

File last commit:

r2007:324ac367 beta
r2383:e576410f beta
Show More
paths.py
36 lines | 827 B | text/x-python | PythonLexer
import os
abspath = lambda * p: os.path.abspath(os.path.join(*p))
def get_dirs_for_path(*paths):
"""
Returns list of directories, including intermediate.
"""
for path in paths:
head = path
while head:
head, tail = os.path.split(head)
if head:
yield head
else:
# We don't need to yield empty path
break
def get_dir_size(path):
root_path = path
size = 0
for path, dirs, files in os.walk(root_path):
for f in files:
try:
size += os.path.getsize(os.path.join(path, f))
except OSError:
pass
return size
def get_user_home():
"""
Returns home path of the user.
"""
return os.getenv('HOME', os.getenv('USERPROFILE'))