在linux中运行GNAT GPS的可执行文件的名称是什么？

Question

IT刚安装在我的机器上。我正在尝试找到运行GNAT GPS的可执行文件的名称。

感谢。

Answer 1

对于Linux和Mac OS X上的GNAT GPL，有一个脚本gps，它根据实际可执行文件gps_exe的要求设置环境变量，然后调用它。

对于Debian（无论如何挤压），只有/usr/bin/gnat-gps。