commit 9ac7f6df67d7536c9cd62c44aa41f7b1d2e1bb7e parent e33bf35432c0907d579a66dab68e225d31d20d6b Author: Matthias Jaros <jaros@mailbox.org> Date: Sun, 9 Nov 2025 20:08:38 +0100 Fail when git user is not setup Diffstat:
| M | src/init | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/init b/src/init @@ -172,8 +172,9 @@ if set -q $_flag_g set GIT_UID $_flag_g end +# Setup git user +setupGitUser; or return $status # Setup users -setupGitUser for userConfig in $users setupUser "$userConfig" end