Could someone please tell me into which directory/partition the packages have been downloaded ?
As the Mu editor is available through Kubuntu's package manager, I was thinking of removing what has already been downloaded and then re-installing Mu from the package manager.
Filelight reports the following usaage stats.
/: 1% used /usr: 11% used /boot: 46% used /tmp: 0% used /var: 9% used /home: 30% used
wheelspackage within Mu's own source tree. So, wherever you're placed the Mu source code -- there. (I'm hoping that the more Linux-savvy folks on the channel will chime in if there's anything specific to that platform but I don't see why there should be)
@stuarte83_gitlab: that's relatively old (not least because it's taken us a long time to get the next release into beta). However, if you're basically looking to start using Python and/or with a pre v2 micro:bit, you'll be fine.
That said, I would like to get to the bottom of the issues you're having with (apparent) lack of file space...
Seems that they call it "Snippets". Can you follow those instructions at https://docs.gitlab.com/ee/user/snippets.html#create-snippets and send a link here?
If it's too tricky, let me know and we can come up with something simpler.
pipstore things when it's installing?
There's some explanation here (with a possible workaround): http://naoko.github.io/pip-install-no-space-left/
Also, according to the filelight report, it doesn't look as though there should be any problem using