sync-all get failing
Simon Peyton-Jones
simonpj at microsoft.com
Sat Aug 3 17:39:24 CEST 2013
Yes, you're right. getting a new version of git solved it. Thanks.
Simon
| -----Original Message-----
| From: Thorkil Naur [mailto:naur at post11.tele.dk]
| Sent: 03 August 2013 11:56
| To: Simon Peyton-Jones
| Cc: ghc-devs
| Subject: Re: sync-all get failing
|
| Hello Simon,
|
| On Sat, Aug 03, 2013 at 03:04:02AM +0000, Simon Peyton-Jones wrote:
| > ...
| > == ghc-tarballs: running git config --local core.ignorecase true
| > error: unknown option `local'
| > usage: git config [options]
| >
| > Config file location
| > --global use global config file
| > --system use system config file
| > -f, --file <FILE> use given config file
| >
| > Action
| > ...
|
| On my
|
| $ uname -a
| Linux tn28 3.2.0-49-generic #75-Ubuntu SMP Tue Jun 18 17:40:13 UTC 2013
| i686 i686 i386 GNU/Linux
|
| with
|
| $ git --version
| git version 1.7.9.5
|
| the command
|
| $ git config --bogusoption 2>&1 | head
|
| reports:
|
| error: unknown option `bogusoption'
| usage: git config [options]
|
| Config file location
| --global use global config file
| --system use system config file
| --local use repository config file
| -f, --file <file> use given config file
|
| Action
| $
|
| I don't know git at all, but this seems to indicate that your git
| installation needs to be looked into: Perhaps --local is a recently
| added git option.
|
| > ...
|
| Best regards
| Thorkil
More information about the ghc-devs
mailing list