Ticket #357 (closed defect: fixed)
small improvements to bootstrap
|Reported by:||brian0||Owned by:|
|Cc:||Difficulty:||very easy (<1 hour)|
Attached is a darcs patch to bootstrap.sh. I should darcs send, but can't right now.
I added -c to wget. This prevents wget from downloading an archive again and naming it whatever.1, whatever.2, etc. curl redownloads, but overwrites the original.
I think I improved some messages.
Instead of saying "if all went well, cabal should be in ...", I check whether cabal exists where it should be.