> Is changing the filesystem type an option? You could temporarily
> create a new non-extn filesystem on a free partition and mount it on
> /tmp.
> In that case, you could set the undeletable attribute on /tmp
> ("chattr +U /tmp"). It will be inherited by any file created there.
> Problem is that extn doesn't honour the attribute, though you could
> patch it if you prefer (cf. http://lwn.net/Articles/211193/).
>
> Kind regards,
>
> Herta
Thank you! Yes, I will try that out.
Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-admin" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
