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