themactep.com

A home of miscellaneous projects by Paul Philippov.

Notes

How to increase size of /tmp partition

$ sudo mount -o remount,size=12G /tmp/