@OliverV Thanks, but no luck. I followed your tips, issued sudo swapoff -a and made a new ext4 partition mounted as /media/swap, and added it to /etc/fstab with its UUID. I issued sudo mount -a to confirm that it mounted. Then i edited /etc/dphys-swapfile to point to /media/swap and use it all (6GB). Output from dphys-swapfile setup as root:
dphys-swapfile setup
computing size, want /media/swap=6009MByte, generating swapfile …
Output from dphys-swapfile swapon as root:
dphys-swapfile swapon
/sbin/dphys-swapfile: ERROR: swap file /media/swap missing! you need to first run /sbin/dphys-swapfile setup to generate one
So here it complains that there is no swap file after I just tried to generate it. The generation process is very fast, so I suspect nothing has happened, but can’t find any log or indication of it.