/usr/share/gps/plug-ins/gnatname.py is in gnat-gps-common 6.1.2016-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 28 29 30 31 32 33 34 | """
This file adds target and target model for the gnatname utility.
See the menu /Build/Settings/Targets to configure toolbar icons to
easily launch gnatname.
"""
import GPS
XML = r"""<?xml version="1.0" ?>
<gnatname>
<target-model name="gnatname" category="">
<iconname>gps-build-all-symbolic</iconname>
<description>Generic launch of gnatname</description>
<command-line>
<arg>%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>%gnat</arg>
<arg>name</arg>
</command-line>
</target>
</gnatname>
"""
GPS.parse_xml(XML)
|