在gdb中设置时间戳记录器

Question

我将记录器放入 gdb 脚本中：

set logging file logger.log
set logging on

如何将记录器设置为时间戳 喜欢

logger_YYMMDD_HHMMSS.log

Answer 1

python import datetime
python logfile = datetime.datetime.now().strftime('logger_%y%m%d_%H%M%S.log')
python gdb.execute('set logging file ' + logfile)
set logging on