Thanks both for your replies. I'm using stock Debian 12.7, so with systemd. I won't have access to my laptop until tomorrow, I might try the LiveDisk mentioned by Roman. Are the ISOs from the website you linked just a plain Debian installation + TDE? ____________________________________________________ tde-users mailing list -- users@xxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxx Web mail archive available at https://mail.trinitydesktop.org/mailman3/hyperkitty/list/users@xxxxxxxxxxxxxxxxxx