>> I think most /tmp dirs have the t-flag set, which means you must
>> be the owner of a file to delete it from the directory. In those
>> cases it seems safe, but I don't know for certain.
I'd formulate it in a different manner. Using /tmp is most certainly
safe on sane Linux and BSD systems. It's anyone guess what happens on
other OSes.
In other words -- unless there's someone here who fully understands
the semantics of the sticky bit on Solaris and HP/UX, it's not a can
of worms we want to open.
Juliusz
_______________________________________________
darcs-devel mailing list
darcs-devel@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-devel
