Vagrant Cascadian <vagr...@debian.org> writes:
>> (In the end I removed the Debian package and installed with >> https://guix.gnu.org/install.sh; this was trickier than it should have >> been, because the Debian package left behind a broken init service and >> some state that I deleted manually.) > > There is a difference on Debian between removed and purged, sounds like > you just removed it: > > apt --purge remove PACKAGE > > should have done what you wanted, and if it didn't, bugs reports would > be appreciated... Ah, I wasn’t aware of the difference. I’m sure it works fine. Now I no longer have a way to test this, though, as the laptop uses Guix now. -- Ricardo
