/usr/share/anjuta/profiles/editor.profile is in anjuta-common 2:3.18.2-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 16 17 18 19 20 21 22 23 24 25 | <?xml version="1.0"?>
<anjuta>
<plugin name="File Loader"
url="http://anjuta.org/plugins/"
mandatory="yes">
<require group="Anjuta Plugin"
attribute="Interfaces"
value="IAnjutaFileLoader"/>
</plugin>
<plugin name="Document Manager"
url="http://anjuta.org/plugins/"
mandatory="yes">
<require group="Anjuta Plugin"
attribute="Interfaces"
value="IAnjutaDocumentManager"/>
<set group="Configuration"
attribute="Standalone"
value="yes"/>
</plugin>
<filter>
<require group="Anjuta Profile"
attribute="Editor"
value="yes"/>
</filter>
</anjuta>
|