5.2-2Linux 4.8.12-3-ARCH x86_64 GNU/LinuxWith ZIM enabled (with or without git module it seems), running git init gives this error
% git init
Initialized empty Git repository in /home/brott/Desktop/testgit/.git/
fatal: ambiguous argument 'HEAD': unknown revision or path not in the working tree.
Use '--' to separate paths from revisions, like this:
'git <command> [<revision>...] -- [<file>...]'
Without ZIM, it gives this
% git init
Initialized empty Git repository in /home/brott/Desktop/testgit2/.git/
git init inside itRelated to these?
some brief experimentation show this is related to the lean prompt theme
@Plloi You're right, I just switched prompt and it had no issues.
I created a new issue over at https://github.com/miekg/lean/issues/12.
Yep, seems to be an upstream problem. Once the issue is fixed, I'll update the submodule and push to master.
@Eriner https://github.com/miekg/lean/issues/12#issuecomment-266269672
Pushed, thanks!
Most helpful comment
some brief experimentation show this is related to the lean prompt theme