karma/crab
1
0
Fork 0
mirror of https://github.com/karma-riuk/crab.git synced 2025-07-05 13:38:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

added metavar names for arguments

Browse Source
This commit is contained in:
Karma Riuk
2025-05-17 09:16:52 +02:00
parent 5cf5e5a8ee
commit 3ea3e980bd
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pull_requests.py
View File

@ -449,6 +449,7 @@ if __name__ == "__main__":
parser.add_argument( parser.add_argument(
'-o', '-o',
'--output', '--output',
metavar="OUTPUT_FILE_PATH",
type=str, type=str,
default="./dataset.json", default="./dataset.json",
help='The file in which the dataset will be contained. Default is "./dataset.json"', help='The file in which the dataset will be contained. Default is "./dataset.json"',
@ -457,12 +458,14 @@ if __name__ == "__main__":
'-r', '-r',
'--repos', '--repos',
type=str, type=str,
metavar="REPOS_DIR_ROOT",
default="./results/", default="./results/",
help='The directory in which the repos were cloned (will be cloned if they aren\'t there already). Default: "./results/"', help='The directory in which the repos were cloned (will be cloned if they aren\'t there already). Default: "./results/"',
) )
parser.add_argument( parser.add_argument(
'-c', '-c',
'--cache', '--cache',
metavar="CACHE_FILE_PATH",
type=str, type=str,
help="The name of the output file from another run of this script. This is for when the script unexpectedly got interrupted and you want to resume from where you left off.", help="The name of the output file from another run of this script. This is for when the script unexpectedly got interrupted and you want to resume from where you left off.",
) )
@ -470,6 +473,7 @@ if __name__ == "__main__":
"-a", "-a",
"--archive-destination", "--archive-destination",
type=str, type=str,
metavar="ARCHIVE_DIR_ROOT",
default="./dataset/archives", default="./dataset/archives",
help="The directory in which the repos will be archived. Default is './dataset/archives'.", help="The directory in which the repos will be archived. Default is './dataset/archives'.",
) )