Hacker News new | ask | show | jobs
by fulafel 699 days ago
The easiest way to resize the root partition is probably to boot from eg Ubuntu live/install USB stick. The home partition you can unmount (but not while non root user sessions are using it).
1 comments
Am4TIfIsER0ppos 699 days ago
> reboot into another OS

As I said: garbage for snapshots

link
fulafel 699 days ago
You need to do it only once (if you didn't do it at install time), not every snapshot.
link