How to delete per-user profiles

How to delete per-user profiles

[Jorge]

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' ?

   /var/guix/profiles/per-user/jorge-morais:
   drwxr-xr-x 1 1002 1002 192 2023-08-25 15:22 ./
   drwxr-xr-x 1 root root  48 2023-07-04 14:16 ../
   lrwxrwxrwx 1 1002 1002  19 2023-07-03 12:33 current-guix -> current-guix-3-link/
   -rw-r--r-- 1 1002 1002   0 2023-07-03 12:31 current-guix.lock
   lrwxrwxrwx 1 1002 1002  51 2023-07-03 12:33 current-guix-3-link -> /gnu/store/7aqq65iaffpp10y9zm0mrkcml31632x2-profile/
   lrwxrwxrwx 1 1002 1002  19 2023-06-28 13:23 guix-profile -> guix-profile-2-link/
   -rw-r--r-- 1 1002 1002   0 2023-07-03 12:34 guix-profile.lock
   lrwxrwxrwx 1 1002 1002  51 2023-06-28 13:23 guix-profile-2-link -> /gnu/store/3aiqg5x0fyimkb7g47vdcc0p2lvazfg1-profile/

Regards

Re: How to delete per-user profiles

[宋文武]

Jorge <jorge+list@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.

Re: How to delete per-user profiles

[Roman Riabenko via]

[-- Attachment #1: Type: text/plain, Size: 1356 bytes --]

У пт, 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 GNOME
Settings on reboot or the next time the system is reconfigured and a
home directory will be created for it if it was removed. (Such user
would not appear in the login screen because the user is only re-
created but not activated. The activation can be done in GNOME
Settings.) Instead, to remove a user, you should remove its "user-
account" form from the system configuration file [1] and reconfigure
the system. You have to handle the user files yourself, e.g. remove the
user's home directory. If you are also adding a user, you would want to
do that in the configuration file too.

[1]:
https://guix.gnu.org/en/manual/devel/en/html_node/User-Accounts.html

> 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' ?

Those links are not removed automatically, so that directory needs to
be removed by hand. When the links are removed and eventually you run
"guix gc", it removes the unused profiles in the store.

Roman








[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: How to delete per-user profiles

[Roman Riabenko via]

[-- Attachment #1: Type: text/plain, Size: 1635 bytes --]

У сб, 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
> from
> the system configuration file, the user will re-appear in GNOME
> Settings on reboot or the next time the system is reconfigured and a
> home directory will be created for it if it was removed. (Such user
> would not appear in the login screen because the user is only re-
> created but not activated. The activation can be done in GNOME
> Settings.) Instead, to remove a user, you should remove its "user-
> account" form from the system configuration file [1] and reconfigure
> the system. You have to handle the user files yourself, e.g. remove
> the
> user's home directory. If you are also adding a user, you would want
> to
> do that in the configuration file too.
> 
> [1]:
> https://guix.gnu.org/en/manual/devel/en/html_node/User-Accounts.html

Sorry, I've just noticed that you are on Gentoo, not a Guix System, so
you manage the users from Gentoo, not from the guix configuration file.

> > 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' ?
> 
> Those links are not removed automatically, so that directory needs to
> be removed by hand. When the links are removed and eventually you run
> "guix gc", it removes the unused profiles in the store.

This still applies.

Roman

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: How to delete per-user profiles

[Jorge P. de Morais Neto]

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 Software Supporter: https://www.fsf.org/free-software-supporter
- If an email of mine arrives at your spam box, please notify me.
- Many people hate injustice but few check the facts; this causes more
  injustice.  Ask me about <https://stallmansupport.org>