From fd03a8ebb7eb485478fcbdf26850e17d76d33872 Mon Sep 17 00:00:00 2001 From: David Boreham Date: Fri, 12 Aug 2022 08:53:35 -0600 Subject: [PATCH] Cleanup --- setup-repositories.py | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/setup-repositories.py b/setup-repositories.py index eaff6102..d75c24f6 100644 --- a/setup-repositories.py +++ b/setup-repositories.py @@ -50,15 +50,13 @@ if not os.path.isdir(dev_root_path): print(f'Dev root directory doesn\'t exist, creating') os.makedirs(dev_root_path) -with open("repository-list.txt") as repositoryListFile: - repos = repositoryListFile.read().splitlines() +with open("repository-list.txt") as repository_list_file: + repos = repository_list_file.read().splitlines() if verbose: print (f'Repos: {repos}') -# Ok, now we can go ahead and look to see which if any of the repos are already cloned - -def processRepo(repo): +def process_repo(repo): full_github_repo_path = f'git@github.com:{repo}' repoName = repo.split("/")[-1] full_filesystem_repo_path = os.path.join(dev_root_path, repoName) @@ -83,4 +81,4 @@ def processRepo(repo): for repo in repos: - processRepo(repo) + process_repo(repo)