Re: Newbie: Error when using "guix gc -D" to delete directory in /gnu/store

2023-04-04 Thread Simon Tournier
Hi, On Sun, 19 Mar 2023 at 07:36, Julien Lepiller wrote: > First of all, you don't need to delete these files. Even if they exist > in the store, they won't be foumd by other software unless they are > currently installed in one of your profiles. > > The error you get when you try to delete them

Re: Newbie: Error when using "guix gc -D" to delete directory in /gnu/store

2023-03-18 Thread Julien Lepiller
First of all, you don't need to delete these files. Even if they exist in the store, they won't be foumd by other software unless they are currently installed in one of your profiles. The error you get when you try to delete them means that one of the generations of one of your profiles still h

Newbie: Error when using "guix gc -D" to delete directory in /gnu/store

2023-03-18 Thread Rodrigo Morales
Table of Contents _ 1. The context 2. What I've tried 3. Additional information 4. The question 1 The context = I had previously installed the package `rime-data'. One of the files that is installed by that package is called `wubi86.dict.yaml'. I'm currently e