Default User (HE12025-08-09): > I just upgraded from Debian 12 to Debian 13. > Debian 13 apparently uses a tmpfs file, instead of the > 2 Gb /tmp partition which I was using on Debian 12, > and which is no longer mounts automatically. > > So, can/should I delete the old Debian 12 /tmp partition? > And if so, what is the best (safest) procedure to do that?
It depends on your hardware and how you use it: - Do you have significantly more than 2G of RAM? - Do you (have application that) use /tmp a lot? If you have more than 2G of RAM but not much more, a possibly interesting middle-ground would be to keep the tmpfs on /tmp and repurpose the old partition as swap. Regards, -- Nicolas George
