Jorge <jorge+l...@disr.it> writes: > Hi! I have removed (via Gnome Settings) user `jorge-morais' from my > Gentoo GNU/Linux system, but its Guix profiles remain. How do I remove > them, so Guix GC can clean the store? Can I simply remove the directory > `/var/guix/profiles/per-user/jorge-morais' ?
Yes, that's the right and safe thing to do.