Quickly resize and shrink Raspberry Pi SD card image on MacOS