[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to delete per-user profiles
|
From: |
宋文武 |
|
Subject: |
Re: How to delete per-user profiles |
|
Date: |
Sat, 26 Aug 2023 07:38:15 +0800 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
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.