devenver: We don't use the manifest file

2023-01-30 23:10:19 +11:00
parent 10b013f66d
commit 00cd69734a
2 changed files with 1 additions and 8 deletions
@@ -44,16 +44,10 @@ arg_parser.add_argument('--install-dir',
                        default=default_base_install_dir,
                        type=pathlib.Path)

-arg_parser.add_argument('--manifest-file',
-                        help=f'Python file that has a get_manifest() function returning a dictionary of applications to download & install (see manifest.py for starters)',
-                        required=True,
-                        type=pathlib.Path)
-
 arg_parser.add_argument('--version',
                        action='version',
                        version='DEVenver v1')

-
 args = arg_parser.parse_args()

 base_downloads_dir = args.downloads_dir