# HG changeset patch
# User wenzelm
# Date 1665069895 -7200
# Node ID b8072e5a163741db6232b10425edcabda0028751
# Parent  7eedccabbc74e23ef591468a3a05f07e1ca8c345
proper home directory for ssh configuration (e.g. ~/.ssh/config);
avoid redundant mkpasswd + mkgroup information, as recommended by Cygwin documentation;

diff -r 7eedccabbc74 -r b8072e5a1637 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Thu Oct 06 14:40:45 2022 +0200
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Thu Oct 06 17:24:55 2022 +0200
@@ -4,8 +4,7 @@
 
 bash /etc/postinstall/base-files-mketc.sh.done
 
-mkpasswd -l >/etc/passwd
-mkgroup -l >/etc/group
+mkpasswd -l -u "$USER" -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 '{}' +