
./sync-all get is failing (see below). Any ideas? Simon bash-3.1$ ./sync-all get warning: ghc-tarballs already present; omitting == 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 --get get value: name [value-regex] --get-all get all values: key [value-regex] --get-regexp get values for regexp: name-regex [value-regex] --replace-all replace all matching variables: name value [value_regex] --add adds a new variable: name value --unset removes a variable: name [value-regex] --unset-all removes all matches: name [value-regex] --rename-section rename section: old-name new-name --remove-section remove a section: name -l, --list list all -e, --edit opens an editor --get-color <slot> find the color configured: [default] --get-colorbool <slot> find the color setting: [stdout-is-tty] Type --bool value is "true" or "false" --int value is decimal number --bool-or-int value is --bool or --int --path value is a path (file or directory name) Other -z, --null terminate values with NUL byte git failed: 33024 at ./sync-all line 116. == Checking for old haddock repo == Checking for old binary repo == Checking for old mtl repo == Checking for old Cabal repo == Checking for old time from tarball bash-3.1$

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

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
participants (2)
-
Simon Peyton-Jones
-
Thorkil Naur