diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-05 12:01:24 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-05 13:05:49 +0200 |
| commit | 6dd06d92aad8ccd130b4d46b2ff79b71b148bb2b (patch) | |
| tree | 0292e4d4d8b905a5a727c3555517c65f78c3e80a /dev | |
| parent | 274da8930804b2187568423c3bfeed541f235001 (diff) | |
Add note for homebrew users.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/MERGING.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev/doc/MERGING.md b/dev/doc/MERGING.md index 402ed37bd..3a2df6a81 100644 --- a/dev/doc/MERGING.md +++ b/dev/doc/MERGING.md @@ -115,3 +115,8 @@ creating your own GPG key: The script depends on a few other utilities. If you are a Nix user, the simplest way of getting them is to run `nix-shell` first. + +**Note for homebrew (MacOS) users:** it has been reported that installing GnuPG +is not out of the box. Installing explicitly "pinentry-mac" seems important for +typing of passphrase to work correctly (see also this +[Stack Overflow Q-and-A](https://stackoverflow.com/questions/39494631/gpg-failed-to-sign-the-data-fatal-failed-to-write-commit-object-git-2-10-0)). |