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

Question

我想将命令行参数传递给sys.args（到gdb python脚本）。我看到了这个solution但想传递任意数量的参数。 像：

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

myScript.py：

import gdb
import sys

print(sys.argv[1:])

有可能吗？