bug#47748: Packages which cant be find/removed by guix remove

[Leo Famulari <leo@famulari.name>]

On Fri, Apr 16, 2021 at 02:11:09AM +0000, bo0od wrote:
> My friend isnt this what im saying not friendly,bad usability,disaster...etc
> 
> And i said to have maybe something like synapse which mean addressing
> everything installed and user can just remove the packages by clicking on
> them (or lets call it the GUI way of doing it) similar to the functionally
> you showed:

The programs you are asking to remove are used internally by Guix.

You can't remove them with a simple command. You can't do that on other
Linux distros either.

For example, on Debian, I have /usr/bin/gpg:

------
$ ls -l /usr/bin/gpg
-rwxr-xr-x 1 root root 1046256 Aug 22  2019 /usr/bin/gpg
------

Then I uninstall it:

------
$ sudo apt-get remove gpg
[...]
$ ls -l /usr/bin/gpg
ls: cannot access '/usr/bin/gpg': No such file or directory
-----

But, apt-get uses gpg too, to check package signatures. It still has its
own copy of gpg, so it still works. You can't remove it easily.

It's the same situation, and it's not a bug.