This file is indexed.

/usr/share/gps/library/autognatpp.py is in gnat-gps-common 5.0-13.

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
"""This plug-in will automatically pretty-print a source file each time it is
saved on disk by calling gnatpp. See also autoformat.py for a lighter version
using the built-in editor reformatter instead. Warning: note that if you save
files often, this will generate many calls to gnatpp with no protection/lock,
so you may end up with multiple gnatpp processes running at the same time.
"""


import GPS

# Actions to be performed each time a file is saved
def on_file_saved (hook, file):
   GPS.execute_action ("/Edit/Pretty Print")

# Register the callback on the "file_saved" hook
GPS.Hook ("file_saved").add (on_file_saved)