[[linux]] tool for managing [[disk partition]]s