/usr/share/gps/library/autognatpp.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 | """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("pretty print (force save)")
# Register the callback on the "file_saved" hook
GPS.Hook("file_saved").add(on_file_saved)
|