Use more robust username retrieval method.

Commit
ae808c11a3ad37b3204448789c89e96da3fcdc7b
Author
Marius Peter <marius.peter@tutanota.com>
Author date
Committer
Marius Peter <marius.peter@tutanota.com>
Committer date
lib/config.ml
index 7e037ef0..79c01095 100644..100644
@@ -11,7 +11,7 @@
11 11
12 12 let default =
13 13 {
14 Removed: user = Unix.getlogin ();
14 Added: user = Sys.getenv "LOGNAME";
15 15 default_branch = "master";
16 16 git_project_root = Filename.concat (Sys.getenv "HOME") "git.test";
17 17 commits_max_displayed = 10;