/usr/lib/gedit/plugins/RCtrl.plugin is in gedit-r-plugin 0.8.0.2-Gtk3-Python3-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 | [Plugin]
Loader=python3
Module=RCtrl
IAge=3
Name=R integration
Description=Allows R to be controlled from Gedit 3 (python3 version)
Authors=Dan Dediu <ddediu@gmail.com>
Copyright=Copyright © 2009-2013 Dan Dediu <ddediu@gmail.com>
Website=http://sourceforge.net/projects/rgedit
|