Re: How to delete per-user profiles

2023-08-25 Thread 宋文武
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

How to delete per-user profiles

2023-08-25 Thread 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

documentation in TeX Live collections

2023-08-25 Thread Emmanuel Beffara
Hello Guix, There has been a lot of movement around TeX Live recently and it is very nice to see. We now have a usable modular installation and a great number of available packages and collections. However, I don't understand what is the proper way to reach documentation in the current system. I

Re: Problem with Shepherd after `guix home reconfigure`

2023-08-25 Thread Hilton Chain
Hello, On Fri, 25 Aug 2023 14:59:03 +0800, Tanguy LE CARROUR wrote: > > Hi, > > Quoting nils@landt.email (2023-08-23 10:09:06) > > Tanguy LE CARROUR hat am 22.08.2023 18:56 CEST > > geschrieben: > > > I now have a slightly different error message: > > > > > > ``` > > > $ guix home reconfigure >