Re: [isabelle] root.bib as link



On 15/02/12 23:52, Makarius wrote:
> Nonetheless, brief inspection of the default way of copying the document
> sources in Isabelle2009-2 (and current Isabelle2011-1) reveals that it
> is done by "cp -r -f", which should normally dereference symlinks
> (unless you have a very odd version of "cp", which has also happened to
> some users in the past).

Further investigation reveals that "cp -r" behaves differently depending
on whether you're using Linux or BSD.  In fact, the BSD man page for cp
says "Historic versions of the cp utility had a -r option.  This
implementation supports that option, however, its use is strongly
discouraged, as it does not correctly copy special files, symbolic links
or fifo's."

I suggest that Isabelle should use "cp -R -L -f" instead of "cp -r -f",
in order to behave the same way on Linux and BSD.

Tim
<><

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.