New problem - Installed GUIX (OK), installed some software from GUIX, then tried to install Jupyter from GUIX...
- Vous devez vous identifier ou créer un compte pour écrire des commentaires
and then the files filled up / to capacity - 25GB. Tried to increase / to 100GB with gparted, no dice. I'm not sure what the effect of moving /gnu/store to /home would be - it will probably kill GUIX unless there's something I can do in my .guix-profile. I think there's no more than 10 people in the US who use GUIX any more... no one to ask, and the documentation can be spotty although voluminous.
Right now, my quickest fix is to start over, initialize the hard drive, and set the root partition to 100GB, /swap at 10GB, and /home at 790GB. That should fix it, for now.
Running out of storage while using Guix is a common issue, specially if you're installing Qt/GTK software or web browsers, which are massive and complex/bloated programs. The reason being it often fetches the whole software stack required to compile the package you're trying to install, multiple times in some cases as different packages require different versions of a dependency.
This is well explained on their docs which are excellent, bookmark them and read them thoroughly when you wanna get something done, you'll need it:
https://guix.gnu.org/manual/en/guix.html
You can free up the used space with guix gc, which exists to do cleanup with packages that are no longer needed (although on the next guix pull, the package manager will have to fetch them again to run upgrades).
Details here: https://guix.gnu.org/manual/en/guix.html#Invoking-guix-gc
> I'm not sure what the effect of moving /gnu/store to /home would be - it will probably kill GUIX unless there's something I can do in my .guix-profile.
You definitely can symlink or mount /gnu/store to a large partition and it should be fine, as long as you don't mess the filesystem permissions when migrating the directory. I've done similar things in scenarios where the root partition runs low on storage.
I am a translator!
The easiest might be not to have separate partitions for / and for /home. I do that frequently, I boot on a live USB, copy /home to /home2, delete the home partition, extend the partition for / (actually, I use lvm, so I use lvdelete and lvresize for this), mount it and rename /home2 to /home, remove /home from /etc/fstab, and then I am done. Of course, I need to do this before I put any data (or install guix), so that the initial / has enough free space for the small initial /home.
You can also run "guix gc" sometimes.