Is it possible to change the default git user config for a `devShell`?

Help
3

Ah! Seems git has environment variables to configure this, which have priority over config values. I.e.:

shellHook = ''
    GIT_AUTHOR_EMAIL='email@workdomain.com'
'';

should work.

4 Likes