The partitioning utility lets users shrink the portion of their PC devoted to Windows so that they can have more resources dedicated to Linux while still retaining the ability to run Windows apps, ...