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