主要參考這裡的說明
https://blog.linuxmint.com/?p=3792
加上之前警告我的主要安裝系統的磁區容量不足 (我切割 15 G, 警告我只剩數百 Mb),請較好馬大師之後,確定可以把另一個就系統的磁區縮小,把主磁區 (看到掛載在 /) 擴大
怎麼調都無法擴大,才想到可能需要退出,另外用 Live-CD/USB 開機後,調整。
查到這則
如何調整分割區大小(GParted程式的選項無法用?) [論壇 - Ubuntu安裝問題
順便就下載 Linux mint 19.2,若有萬一,就順便重灌