On Sat, Aug 09, 2025 at 09:53:52PM -0400, Default User wrote: > Hi! > > 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. If /tmp is not mounted after booting... > So, can/should I delete the old Debian 12 /tmp partition? > And if so, what is the best (safest) procedure to do that? ...you should be able to remove it, yes. But I'm still surprised that the upgrade silently changed your fstab. Cheers -- t
Attachment:
signature.asc
Description: PGP signature