Turns out one has to turn off File Vault to resize the underlying partition. However, resizing does not work when running off of the recovery partition (which you might be doing to run fsck on the primary partition). (more…)
20.3.13
File Vault volumes cannot be resized