cli: Allow consuming arguments from the command line when running a file

Author: antonio-rojas

src/sage/cli/run_file_cmd.py

@@ -23,7 +23,7 @@ def extend_parser(parser: argparse.ArgumentParser):
         """
         parser.add_argument(
             "file",
-            nargs="?",
+            nargs="*",
             help="execute the given file as sage code",
         )
 
@@ -32,13 +32,16 @@ def __init__(self, options: CliOptions):
         Initialize the command.
         """
         self.options = options
+        # shift sys.argv for compatibility with the old sage bash script and python command when consuming arguments from the command line
+        import sys
+        del sys.argv[0]
 
     def run(self) -> int:
         r"""
         Execute the given command.
         """
-        input_file = preparse_file_named(self.options.file) if self.options.file.endswith('.sage') else self.options.file
-        if self.options.file.endswith('.pyx') or self.options.file.endswith('.spyx'):
+        input_file = preparse_file_named(self.options.file[0]) if self.options.file[0].endswith('.sage') else self.options.file[0]
+        if self.options.file[0].endswith('.pyx') or self.options.file[0].endswith('.spyx'):
             s = load_cython(input_file)
             eval(compile(s, tmp_filename(), 'exec'), sage_globals())
         else: