I want to pass command line arguments to sys.args (to a gdb python script). I saw this solution but would like pass arbitrary number of arguments. Like:
gdb --batch -x myScript.py 2 3 4 12 23 ..
myScript.py:
import gdb
import sys
print(sys.argv[1:])
Is is possible?