idrin new failed in windows subsystem for linux

[fstiffo]

The command

idrin new hello

failed with this message

idrin: readCreateProcess: git "config" "--global" "--get" "user.name" (exit 1): failed

Ubuntu 18.04 windows subsystem
Idris 1.32
Idringen 0.1.0.3

[Ptival]

You can probably fix this by doing:

git config --global user.name "Your Name"

However, I personally dislike setting this since I may want to use different nicknames for different projects, so idrin should not rely on this existing.