Re: init.sh: add option to preserve temporary files

Paul Eggert wrote: > Looks good to me. OK, pushed. > Ordinarily I would just install innocuous changes like that... Well, I learned to believe in code review. And especially when I feel too self-confident, I make the biggest blunders. Bruno

Re: init.sh: add option to preserve temporary files

Looks good to me. Ordinarily I would just install innocuous changes like that...