well you'd need a bigger partition... parted shoiuld allow you to increase it, or maybe you've actualy got lots of unused free space on / itself, inwhich case i'd just ditch the /tmp partition alotgether.
But also if this is just to download an iso, just wget it on console or something (or probably you can change the temp directory for your browser)
|