diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 18:31:40 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 18:31:40 +0200 |
| commit | ae808c11a3ad37b3204448789c89e96da3fcdc7b (patch) | |
| tree | d1f211b0ffd6fe910f69b88574262e2acf8bcbb9 /lib/config.ml | |
| parent | 75baea720c97f73370786b95006a65da7762264b (diff) | |
Use more robust username retrieval method.
Diffstat (limited to 'lib/config.ml')
| -rw-r--r-- | lib/config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/config.ml b/lib/config.ml index 7e037ef..79c0109 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -11,7 +11,7 @@ type t = { let default = { - user = Unix.getlogin (); + user = Sys.getenv "LOGNAME"; default_branch = "master"; git_project_root = Filename.concat (Sys.getenv "HOME") "git.test"; commits_max_displayed = 10; |