--- 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 '{}' +