You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Oct 6, 2026. It is now read-only.
Repository navigation
This repository was archived by the owner on Oct 6, 2026. It is now read-only.
We might not be benefiting from /etc/default/kolibri at all - the code can be moved to /etc/init.d/kolibri which initially sources it.
This will reduce a layer
This will also reduce a "configuration madness" vector: We don't encourage anyone to put configuration in /etc/default/kolibri, but we still risk that they'll go and do it anyways :)
I wrongfully discouraged using this file, as I have seen it change during .deb upgrades. But actually in the background info I can find on this location, people actually wanted this directory to discourage editing of the init.d scripts themselves :)
I think that KOLIBRI_HOME and KOLIBRI_USER variables from /etc/default/kolibri are useful (they are reused in the kolibri-server init script). The rest of the file is not needed from my pov.
If we delete this file, kolibri-server would use the same function to calculate KOLIBRI_HOME, what's not a big problem, just a bit of code duplication.
Am not suggesting to delete the contents. I would just move those contents unchanged to /etc/init.d/kolibri
Everything that can be configured for Kolibri should be configured somewhere that is genuinely owned by the system administrator and not overwritten by package updates. We should not encourage to hack files that are maintained by the package, that's why we have /etc/kolibri
/etc/default/kolibri has the logic that loads /etc/kolibri - so removing that would contradict the whole current design, which is documented and used.
Closing as stale ahead of archiving this repository. The Debian package now lives in the Kolibri monorepo; please open a fresh issue on learningequality/kolibri if this is still wanted.
Activity
benjaoming commentedon Nov 15, 2019
I'm
+1or+0for this change, unless someone has an objection :)jredrejo commentedon Nov 15, 2019
I think that
KOLIBRI_HOMEandKOLIBRI_USERvariables from/etc/default/kolibriare useful (they are reused in thekolibri-serverinit script). The rest of the file is not needed from my pov.If we delete this file, kolibri-server would use the same function to calculate KOLIBRI_HOME, what's not a big problem, just a bit of code duplication.
benjaoming commentedon Nov 15, 2019
Am not suggesting to delete the contents. I would just move those contents unchanged to
/etc/init.d/kolibriEverything that can be configured for Kolibri should be configured somewhere that is genuinely owned by the system administrator and not overwritten by package updates. We should not encourage to hack files that are maintained by the package, that's why we have
/etc/kolibri/etc/default/kolibrihas the logic that loads/etc/kolibri- so removing that would contradict the whole current design, which is documented and used.benjaoming commentedon Nov 15, 2019
Hmm, I can see the point of sourcing
/etc/default/kolibriin kolibri-serverbenjaoming commentedon Nov 15, 2019
Maybe let's just freeze this for later, it's not in order to fix any real issues
rtibbles commentedon Oct 4, 2026
Closing as stale ahead of archiving this repository. The Debian package now lives in the Kolibri monorepo; please open a fresh issue on learningequality/kolibri if this is still wanted.