Next time, save yourself some hassle making /tmp not a separate partition and even better a /tmpfs, including in /etc/fstab this line:
Code:
tmpfs /tmp tmpfs rw,nodev,nosuid,mode=1777 0 0
But then, do not put in /tmp something that should survive a reboot
Just my
, of course.