Dear Junichi and Adrian,
Thanks for filing the Yodl bug report. You have a valid point (and I must
admit I never considered that somebody might run yodl as the same user in
parallel runs...). I also think that the problem is less severe than `serious'
since the yodl2whatever script provides options allowing for this situation.
Nevertheless, while I prepare a more elegant way to handle the problems you
reported I suggest you use the options provided by yodl2whatever.
Here are some considerations:
By default the user name is used in the tmp files to prevent the tmp directory
from getting clobbered by all kinds of leftovers from earlier runs. Although
that file is intended for consumption by yodlpost sometimes it's read by
humans as well. But that's the exception so it's probably more useful to
remove it by default.
Currently, the yodl2whatever script provides the --unique flag, which *will*
create a unique filename (but the file will outlive the yodl run, so you'll
have to do some cleaning up, I guess). In addition, the --tmp=<path> option
is provided, so you could define different locations for, e.g., a man-page run
and a html-run like this:
For the man-page run:
yodl2man --tmp=/tmp/adrian/man manpage.yo
or
yodl2man --unique --tmp=/tmp/adrian/man manpage.yo
and for the html-document:
yodl2html --tmp=/tmp/adrian/html htmlpage.yo
or
yodl2html --unique --tmp=/tmp/adrian/html htmlpage.yo
I hope this reply solves the acute problem. If not, expect a new yodl release
in a few days.
Thanks again for the report,
Cheers,
--
Frank B. Brokken
Center for Information Technology, University of Groningen
(+31) 50 363 9281
Public PGP key: http://pgp.surfnet.nl:11371/
Key Fingerprint: 8E36 9FC4 1DAA FCDF 1A0D B19F DAC4 BE50 38C6 6170
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
