How to remove Guix package manager from Trisquel 10?

4 replies [Last post]
ao
ao
Offline
Joined: 07/20/2017

Dear fellow Trisquel users,

$ df -k
/dev/sda3 99%
The partition for my operating system is now so full that it wouldn't be smart to reboot.

I got into this mess by following the steps in the first post at:
https://trisquel.info/en/forum/installing-guix-trisquel-10-w-luakit-and-ungoogled-chromium

When trying to remove Guix from my system, even:
sudo rm -rf /gnu
doesn't work, as the file system is read-only (I'm at sudo level here).

Please help, how do I remove Guix package manager from Trisquel 10?

Thank you very much in advance.

jxself
Offline
Joined: 09/13/2010

I wonder if it's time to run the guix garbage collector. But anyway, you can't remove files from a read-only file system. Otherwise it wouldn't be read-only. Why is the file system read-only? That is the first thing to figure out. Once it's in a read-write situation your command should work.

andyprough
Offline
Joined: 02/12/2015

This page seems to give good advice - https://libreddit.kavin.rocks/r/GUIX/comments/m4f860/how_to_remove_or_reinstall/

The garbage collection command should be 'guix gc --delete-generations'

To get out of read-only, it would appear that you have to run the 'sudo systemctl stop gnu-store.mount' command, and possibly the 'sudo systemctl stop guix-daemon.service' command.

ao
ao
Offline
Joined: 07/20/2017

Thanks andyprough for your reaction and usefull link.
Problem already solved.

ao
ao
Offline
Joined: 07/20/2017

Thanks jxself.

I've removed some packages of the regular Trisquel system in order to be able to reboot.
After rebooting, I still couldn't run
sudo rm -rf /gnu
but after
sudo badblocks -sv /dev/sda3
sudo dd if=/dev/sda of=/dev/null count=1
sudo smartctl -a /dev/sda | less
I suddenly could, but don't understand why.