|
6 | 6 | from app.commands.check.git import git |
7 | 7 | from app.commands.check.github import github |
8 | 8 | from app.commands.progress.constants import ( |
9 | | - LOCAL_FOLDER_NAME, |
| 9 | + PROGRESS_LOCAL_FOLDER_NAME, |
10 | 10 | PROGRESS_REPOSITORY_NAME, |
11 | 11 | STUDENT_PROGRESS_FORK_NAME, |
12 | 12 | ) |
@@ -57,13 +57,13 @@ def on() -> None: |
57 | 57 | # before cloning again. This should automatically setup the origin and upstream |
58 | 58 | # remotes as well |
59 | 59 | local_progress = [] |
60 | | - local_progress_filepath = os.path.join(LOCAL_FOLDER_NAME, "progress.json") |
| 60 | + local_progress_filepath = os.path.join(PROGRESS_LOCAL_FOLDER_NAME, "progress.json") |
61 | 61 | if os.path.isfile(local_progress_filepath): |
62 | 62 | with open(local_progress_filepath, "r") as file: |
63 | 63 | local_progress = json.load(file) |
64 | | - rmtree(LOCAL_FOLDER_NAME) |
| 64 | + rmtree(PROGRESS_LOCAL_FOLDER_NAME) |
65 | 65 |
|
66 | | - clone_with_custom_name(f"{username}/{fork_name}", LOCAL_FOLDER_NAME) |
| 66 | + clone_with_custom_name(f"{username}/{fork_name}", PROGRESS_LOCAL_FOLDER_NAME) |
67 | 67 |
|
68 | 68 | # To reconcile the difference between local and remote progress, we merge by |
69 | 69 | # (exercise_name, start_time) which should be unique |
@@ -93,7 +93,7 @@ def on() -> None: |
93 | 93 | # push the changes |
94 | 94 | had_update = len(seen) > len(remote_progress) |
95 | 95 | if had_update: |
96 | | - os.chdir(LOCAL_FOLDER_NAME) |
| 96 | + os.chdir(PROGRESS_LOCAL_FOLDER_NAME) |
97 | 97 | add_all() |
98 | 98 | commit("Sync progress with local machine") |
99 | 99 | push("origin", "main") |
|
0 commit comments