/usr/lib/gedit/plugins/latex/gldefs.py is in gedit-latex-plugin 3.8.0-1.
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 | # -*- coding: utf-8 -*-
import gettext
VERSION = "3.8.0"
PACKAGE = "gedit-latex"
PACKAGE_STRING = "gedit-latex 3.8.0"
GETTEXT_PACKAGE = "gedit-latex"
GL_LOCALEDIR = "/usr/share/locale"
try:
gettext.bindtextdomain(GETTEXT_PACKAGE, GL_LOCALEDIR)
_ = lambda s: gettext.dgettext(GETTEXT_PACKAGE, s);
except:
_ = lambda s: s
|