Adding tools to PineTab without filling root partition
09-17-2020, 01:22 PM
In theory, there's no reason you shouldn't be able to mount the drive using something like flash drive and repartition it as you like. I imagine they did this because eventually they expect you to run your stuff in a container like Libertine and then the entire drive image will live in the user partition. But that doesn't work so well yet.
It wouldn't be easy, but you could probably create a directory like ~/usr in the user area and then copy stuff over to it from the real /usr and bind mount it. That wouldn't totally solve your problem but I'd bet most of where you are running out of space is in /usr. Of course, if you ever lose that mount, you go back to the old versions of stuff which may cause havoc. I don't think I'd do that myself, but it is a possible answer that would not involve installing a new OS or repartitioning the drive.
It wouldn't be easy, but you could probably create a directory like ~/usr in the user area and then copy stuff over to it from the real /usr and bind mount it. That wouldn't totally solve your problem but I'd bet most of where you are running out of space is in /usr. Of course, if you ever lose that mount, you go back to the old versions of stuff which may cause havoc. I don't think I'd do that myself, but it is a possible answer that would not involve installing a new OS or repartitioning the drive.