Skip to content
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

Properly set theme default configuration #848

Merged
merged 1 commit into from
Sep 13, 2024

Conversation

lkiesow
Copy link
Member

@lkiesow lkiesow commented Jul 21, 2024

Instead of properly setting the default value for admin.themes.enabled in the admin interface, we temporarily set it in the Opencast configuration. That's not a great workaround and it has a few problems, but I let us backport the admin interface to r/15.x to fix the major problems there.

Not that 15 is our legacy release and we already have a two 16.x versions out, it's time to properly set the default value.

Instead of properly setting the default value for `admin.themes.enabled`
in the admin interface, we temporarily set it in the Opencast
configuration. That's not a great workaround and it has a few problems,
but I let us backport the admin interface to `r/15.x` to fix the major
problems there.

Not that 15 is our legacy release and we already have a two 16.x
versions out, it's time to properly set the default value.
@lkiesow lkiesow added the type:code-enhancement Internal improvements to the codebase label Jul 21, 2024
Copy link
Contributor

Use docker or podman to test this pull request locally.

Run test server using develop.opencast.org as backend:

podman run --rm -it -p 127.0.0.1:3000:3000 ghcr.io/opencast/opencast-admin-interface:pr-848

Specify a different backend like stable.opencast.org:

podman run --rm -it -p 127.0.0.1:3000:3000 -e PROXY_TARGET=https://stable.opencast.org ghcr.io/opencast/opencast-admin-interface:pr-848

It may take a few seconds for the interface to spin up.
It will then be available at http://127.0.0.1:3000.
For more options you can pass on to the proxy, take a look at the README.md.

Copy link
Contributor

This pull request is deployed at test.admin-interface.opencast.org/848/2024-07-21_13-52-55/ .
It might take a few minutes for it to become available.

@gregorydlogan
Copy link
Member

Are you going to do a PR fixing it in the mainline repo as well? From 16.x:

# Enable themes in the admin interface.
# Format: boolean
# Default: true
prop.admin.themes.enabled=false

Immediate issues:

  • Non-commented default
  • Default setting does not match listed default
  • Listed default does not match UI default

:D

gregorydlogan added a commit to gregorydlogan/opencast-admin-interface that referenced this pull request Jul 23, 2024
…e into main

Pull request opencast#848

  Properly set theme default configuration
lkiesow added a commit to lkiesow/opencast that referenced this pull request Jul 24, 2024
This accompanies opencast/opencast-admin-interface#848

Since we now set the default we want in the admin interface itself, we
no longer need to overwrite this in the configuration.
@gregorydlogan gregorydlogan self-assigned this Sep 13, 2024
@gregorydlogan gregorydlogan merged commit 329a3f4 into opencast:main Sep 13, 2024
6 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:code-enhancement Internal improvements to the codebase
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants