Thanks 宋文武 and Roman! I have then deleted
`/var/guix/profiles/per-user/jorge-morais' and then invoked `sudo -i
guix gc -d'. It went as expected. If any error appears later, I will
inform this list.
Regards!
--
- I am Brazilian. I hope my English is correct and I welcome feedback.
- Free
У сб, 2023-08-26 у 09:13 +0300, Roman Riabenko пише:
> У пт, 2023-08-25 у 17:01 -0300, Jorge пише:
> > I have removed (via Gnome Settings) user `jorge-morais' from my
> > Gentoo GNU/Linux system, but its Guix profiles remain.
>
> If you only remove a user from GNOME Settings without removing it
У пт, 2023-08-25 у 17:01 -0300, Jorge пише:
> I have removed (via Gnome Settings) user `jorge-morais' from my
Gentoo GNU/Linux system, but its Guix profiles remain.
If you only remove a user from GNOME Settings without removing it from
the system configuration file, the user will re-appear in
Jorge 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