Gdb 如何检查脚本是否存在，如果存在，如何为其提供源代码

我看不到本机GDB命令可以做到这一点：检查GDB脚本文件是否存在，如果存在，则确定文件的来源

也许我需要求助于python，但仍然想在这里提问

---

用例是，我在几个不同的计算环境中工作，每个环境都有一些不同的GDB设置。我喜欢将上述内容添加到~/.gdbinit中，这样即使在每个环境中我都有一个不同的GDB脚本，它也会自动来源于我的~/.gdbinit。

没有内置的方法来实现这一点。它可以通过脚本以几种不同的方式完成

经典的方法是使用

shell

测试文件是否存在，并让它写出一个文件，然后决定执行什么操作。比如：

(gdb) shell if test -f blah; then echo source blah; fi > /tmp/F
(gdb) source /tmp/F

这很难看，但会有用的

或者，您可以编写一个Python命令来轻松完成这项工作。或者，您可以挖掘Python的

ignoreerrors

命令，只需使用

ignoreerrors-source-which