Я хотел бы изменить размер моего раздела /tmp, но gparted ничего не хочет менять, нигде

В Linux нельзя изменить разделы на смонтированном диске. Вам нужно будет загрузиться с живого USB-накопителя [ 1 ], и сначала освободить место, уменьшив /swapот конечной точки (, он все равно выглядит слишком большим, если у вас нет более 15 ГБ баран ). В противном случае уменьшите /homeс самого начала. Затем вы можете расширить /tmpв пустое место.

Учитывая сказанное, я не уверен, что расширение /tmp— лучшее решение вашей проблемы. Я не знаком с разработкой Java или искрой, но, возможно, вы можете установить каталог в /home, чтобы он работал как временное пространство.