1 Nov
2024
1 Nov
'24
5:43 p.m.
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?