This file is indexed.

/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>