Marie marie-bnl

Migrate to den without changing your existing configuration

Real-life commit example

The current den migration guide suggests you switch to den, and import your existing configuration into it using import-tree. However, this can be very cumbersome because it changes your flake wiring and requires you to change your folder structure and figure out how to deal with your special args right away. Or maybe I just misunderstood the guide.

Anyway, this guide reverses it and makes you keep your existing configuration, adding den modules on top of it.

Find an ADE iCal URL

ADESOFT ADE is a timetable software used by many French universities. It seems that more often than not, there is an export option available to get a URL to an iCal calendar. However, it happens that the university didn’t enable the export module or purposefully disabled it. In that case, it is still possible to get a URL to an iCal calendar.

First, you need to find your class’ resources ID. Navigate to the JSP version of your ADE instance. That is, if you are on /direct/myplanning.jsp, go to /jsp/standard instead. Find your class in the tree and hover it. After that, your web browser should indicate where the button links to. In this example, 9440 is your class’ resources ID.

Now, the iCal URL is as follows, replacing RES by your class’ resources ID.

	[redshift]
	dawn-time=7:00
	dusk-time=21:30
	temp-night=3000
	gamma=1

	/* Hide scrollbar */
	html[data-js-focus-visible] {
	overflow-y: hidden !important;
	}

	/* Hide sidebar */
	body > div:nth-child(2) > div > div > div:nth-child(2) > div > div > div > div:nth-child(1) > div:nth-child(1) > div:nth-child(1) {
	display: none !important;
	}

	body {
	counter-reset: services;
	}
	.sidebar .tabs {
	margin-left: 4px;
	}
	.theme__dark .app .sidebar {
	background: #262626;
	}
	.theme__dark .app .sidebar::after {

	#!/usr/bin/env bash

	diff default-color-theme.json black-color-theme.json \| grep -E -o '> {5}".": "."' \| sed -E 's/> {5}"(.)": "(.)",?/"\1" = "\2";/gm'

	.spotify__container--is-desktop .Root__top-container {
	padding-top: 8px !important;
	}