python - 如何将变量传递给 sys.args？（python gdb 脚本）

Question

我想将命令行参数传递给 sys.args （传递给 gdb python 脚本）。我看到了这个解决方案，但想传递任意数量的参数。喜欢：

gdb --batch -x myScript.py 2 3 4 12 23 ..

myScript.py：

import gdb
import sys

print(sys.argv[1:])

有可能吗？