Commit graph

3 commits

Author SHA1 Message Date
Raphael Dannecker
91ab4d3511 Implement the custom role concept
- Custom Ansible roles can be stored in the `roles/custom` directory
- The list `custom_roles` determines which roles are included
2025-03-24 14:09:18 +01:00
Raphael Dannecker
b8d9886054 Fix dolphin places config (user-places.xbel)
Existing dolphin configs can be incorrect for two reasons:
- Instead of the class identifier, a * was incorrectly entered in the home@server URL.
- If the student has changed classes, the old class name is still in the home URL.

lmn-patch-dolphin.sh no longer enters a * in the home@server URL.
lmn-fixhome-dolphin.sh will fix existing configs.
2024-10-31 17:28:16 +01:00
Andreas B. Mundt
1004922a58 Patch dolphin bookmarks. 2023-09-07 07:50:36 +02:00