Bagaimana mengubah ukuran untuk Linux? /dev/disk0 #: TYPE NAME SIZE IDENTIFIER 0: GUID_partition_scheme *250.1 GB disk0 1: EFI 209.7 MB disk0s1 2: Apple_HFS Macintosh HD 249.2 GB disk0s2 3: Apple_Boot Recovery HD 650.0 MB disk0s3 diskutil resizePartition dis0s1 100GB?