diff options
author | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
commit | 49e65867eef686f2fd35d4982f465513b58abedb (patch) | |
tree | 4a846d700ce813543082bbc23f8b292f73bfb81c /build.py | |
parent | 712dc5f7b89ac00aa8bfd81fb7ae2b2f560d6b25 (diff) |
separated syncing and building
Diffstat (limited to 'build.py')
-rw-r--r-- | build.py | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -271,10 +271,12 @@ def create_repos(): for repo in get_repos(): print(repo) + name = ".".join(repo.split("/")[-1].split(".")[:-1]) - os.system(f"cd {dist}/git; git clone {repo}") + os.system(f"mkdir -p {dist}/git/{name} ;\ + cd {dist}/git/{name} ;\ + git pull || git clone {name}") - name = ".".join(repo.split("/")[-1].split(".")[:-1]) command = subprocess.run(f"cd {dist}/git/{name} && git log --pretty=format:'%h%x09%an%x09%ad%x09%s' --no-decorate -1", stdout=subprocess.PIPE, shell=True) |