New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add KOLIBRI_ENABLE_CUSTOM_CHANNEL_NAV - default True to options.py #8025
Add KOLIBRI_ENABLE_CUSTOM_CHANNEL_NAV - default True to options.py #8025
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's scope this to the learn plugin.
Would also be helpful to expose this in the plugin data in Learn for ease of use: https://github.com/learningequality/kolibri/blob/release-v0.14.x/kolibri/plugins/learn/kolibri_plugin.py#L51
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A couple more tweaks - sorry!
"LEARN": { | ||
"DISABLE_CUSTOM_CHANNEL_NAV": { | ||
"type": "boolean", | ||
"default": False, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The issue asks for this to be disabled by default, so if the flag is going to be DISABLE
then this should default to True
!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Made it into an ENABLE
name instead
kolibri/plugins/learn/options.py
Outdated
@@ -0,0 +1,9 @@ | |||
option_spec = { | |||
"LEARN": { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If you're editing the default, can also make this Title Case, which seems to be our unwritten convention for options section names.
kolibri/plugins/learn/options.py
Outdated
"DISABLE_CUSTOM_CHANNEL_NAV": { | ||
"type": "boolean", | ||
"default": False, | ||
"envvars": ("DISABLE_CUSTOM_CHANNEL_NAV",), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We've also tended to prefix these with KOLIBRI_
- there's an open issue to just generate these names automatically to avoid this hullabaloo: #5754
If we can just prefix KOLIBRI_
here for now, would be good.
Summary
Adds an option that will be picked up from the options.ini file or by env var called
DISABLE_CUSTOM_CHANNEL_NAV
.It is not then used anywhere as (I believe) it is intended for future debugging and/or dev use during development of the new feature.
References
Fixes #7830
Reviewer guidance
See that I did what is said in the well written and clear documentation that I ought to have read