RE: sync-all get failing

3 Aug 2013


      Yes, you're right.  getting a new version of git solved it.  Thanks.

Simon

|  -----Original Message-----
|  From: Thorkil Naur [mailto:naur@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