Move installed plugins to options.ini and deprecate kolibri_settings.json about kolibri HOT 13 CLOSED

Alas poor kolibri_settings.json, I knew him, Horatio!

from kolibri.

yup - you can create one yourself, if needed :)

from kolibri.

Note - this refers to the ~/.kolibri/kolibri_settings.json file

from kolibri.

The main issue here was that the settings file is hard for a developer to manually edit.

As an easier alternative to switching formats, I submitted a quick PR to simply format the JSON in a more developer-friendly way. I think this should suffice to close this issue? (Most devs are familiar with editing JSON)

from kolibri.

Can we re-open this?

I actually liked the unreadable JSON because it avoided people messing around in it with manual edits and writing instructions with references to this file :)

It's nice that the JSON file is readable but there's still no semantic verification or documentation. This means that we're half-encouraging deployments to base things off a configuration file that we don't really support, it's an internal file still.

Being backwards compatible on an interface we didn't intend, can have serious negative consequences.

Ideally, the configuration file is a public, human interface, or it's an un-readable mess that discourages any kind of interaction.

from kolibri.

Until #106 is fixed, manually editing the config file is a fairly common activity

from kolibri.

True that! So you're suggesting to fix #106 - I'm stepping up to that!

from kolibri.

see also #2019

from kolibri.

#3607

from kolibri.

Shall we close this now, or maybe migrate kolibri_settings.json to an ini file?

from kolibri.

@rtibbles for non-human readable settings it still serves a purpose.. but I guess we don't have any of such? 🎉

I have changed the title of the issue, reduce, reuse, recycle 💚

from kolibri.

• this issue seems to be covered in #2019 and #2510
• added note about switching from json to ini in #2019
• also, options.ini now exists

closing to consolidate. let me know if anything wasn't captured

from kolibri.

@indirectlylit

also, options.ini now exists

"Exists" as in is created by default with Kolibri installation, or as in you can create one yourself, if needed? I hope the latter, or I need to amend the documentation.

from kolibri.