# HG changeset patch
# User wenzelm
# Date 1665080035 -7200
# Node ID 4c7e8d01f6b9f81f8c39789fa80fe779c0ffc01d
# Parent  b8072e5a163741db6232b10425edcabda0028751
more robust: prefer Windows $USERNAME;

diff -r b8072e5a1637 -r 4c7e8d01f6b9 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Thu Oct 06 17:24:55 2022 +0200
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Thu Oct 06 20:13:55 2022 +0200
@@ -4,7 +4,7 @@
 
 bash /etc/postinstall/base-files-mketc.sh.done
 
-mkpasswd -l -u "$USER" -p "$(cygpath -u "$HOMEDRIVE$HOMEPATH\\..")" >/etc/passwd
+mkpasswd -l -u "$USERNAME" -p "$(cygpath -u "$HOMEDRIVE$HOMEPATH\\..")" >/etc/passwd
 
 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
 find -type d -exec chmod 755 '{}' +