/usr/share/gps/library/emacs.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 | """
This plug-in should not be activated. It is provided only for
backward compatibility with older versions of GPS (up to 6.0.2).
To activate the Emacs key shortcuts, please go to the
/Edit/Key Shortcuts
dialog instead.
"""
msg = """The emacs.py plug-in is now obsolete, and has been disabled.
Please use /Edit/Key Shortcuts instead.
Your setup has been transitioned, but you need to restart GPS.
"""
import GPS
GPS.Console().write(msg)
# Enable the Emacs key shortcuts
GPS.History.add("key-theme", "emacs")
# Disable the emacs.py plug-in
f = "%sstartup.xml" % (GPS.get_home_dir(), )
old = file(f).read()
new = old.replace('"emacs.py"', '"obsolete-emacs.py"')
file(f, "w").write(new)
|