Ticket #357 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

small improvements to bootstrap

Reported by: brian0 Owned by:
Priority: low Milestone:
Component: cabal-install tool Version: 1.2.3.0
Severity: minor Keywords:
Cc: Difficulty: very easy (<1 hour)
GHC Version: 6.8.2 Platform:

Description

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.

Attachments

diff.txt Download (0.7 KB) - added by brian0 5 years ago.

Change History

Changed 5 years ago by brian0

Changed 5 years ago by duncan

  • status changed from new to closed
  • resolution set to fixed

Applied thanks.

Note: See TracTickets for help on using tickets.