/usr/share/gps/plug-ins/gnatname.xml is in gnat-gps-common 5.3dfsg-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | <?xml version="1.0" encoding="utf-8"?>
<!-- This file adds target and target model for the gnatname utility. -->
<gnatname>
<target-model name="gnatname" category="">
<icon>gps-build-all</icon>
<description>Generic launch of gnatname</description>
<command-line>
<arg>%attr(ide'gnat,gnat)</arg>
<arg>name</arg>
</command-line>
<switches/>
</target-model>
<target model="gnatname" category="_Project_" name="gnatname">
<in-menu>FALSE</in-menu>
<launch-mode>MANUALLY_WITH_NO_DIALOG</launch-mode>
<read-only>TRUE</read-only>
<command-line>
<arg>%attr(ide'gnat,gnat)</arg>
<arg>name</arg>
</command-line>
</target>
</gnatname>
|