Extract source file list from GDB

source_list.py

source_list = open("$SOURCE_LIST_FILE", "w")
lines = gdb.execute('info sources', to_string=True).split('\n')
for line in lines:
    line = line.strip()
    if not line.startswith('/'):
        continue
    parts = line.split(',')
    for part in parts:
        source_list.write(part.strip() + '\n')
source_list.close()