Setting TMP, TEMP or TEMPDIR is just the kind of solution I was looking for, but I could not find it until Eduardo told me. In fact, I have still not found the relesase notes he refers to, but export TEMP="$HOME/tmp" seems to work just fine.
Thanks for your interest in my question. _______________________________________________ Alpine-info mailing list Alpine-info@u.washington.edu http://mailman12.u.washington.edu/mailman/listinfo/alpine-info
