[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
How to delete per-user profiles
From: |
Jorge |
Subject: |
How to delete per-user profiles |
Date: |
Fri, 25 Aug 2023 17:01:14 -0300 |
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
- How to delete per-user profiles,
Jorge <=