/usr/lib/gedit/plugins/RCtrl.plugin is in gedit-r-plugin 0.7.1.1-Gtk3-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=python
Module=RCtrl
IAge=3
Name=R integration
Description=Allows R to be controlled from Gedit
Authors=Dan Dediu <ddediu@gmail.com>
Copyright=Copyright © 2009-2011 Dan Dediu <ddediu@gmail.com>
Website=http://sourceforge.net/projects/rgedit
|