関連ワード:  shrink partition linux command line    resize partition linux command line    resize home partition linux command line    resize ext4 partition linux command line    resize partition linux ubuntu command line    resize root partition linux command line    resize linux partition gparted command line    how to shrink partition in ubuntu    how to shrink partition in linux mint    linux how to shrink partition