Untitled attachment
https://cdn.masto.host/mastodonart/media_attachments/files/112/554/313/629/031/203/original/e2c064c540c64087.png
ARGH.
Finally managed to get the bigger disk space freed up on my D drive, but the Disk Manager has the option to extend the partition greyed out.
I'm thinking I'll have to delete my linux partition altogether, create a new bigger partition with all that free space, and reinstall.
A pain, but oh well. Lesson learned.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.