Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/Cygwin/isabelle/postinstall
author desharna
Fri, 20 Oct 2023 12:26:56 +0200
changeset 78822 09b5113e5c9d
parent 76273 4c7e8d01f6b9
permissions -rwxr-xr-x
tuned component_vampire script for Vampire 4.8 and added new flag to force version name
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50977
983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
wenzelm
parents: 50807
diff changeset 
     1
 
#!/bin/bash
50807
c065f3d14197 clarified cygwin/isabelle scripts;
wenzelm
parents:
diff changeset 
     2
 







52672






8de4235298cb
more robust executable path specifications;



wenzelm


parents: 
51042

diff
changeset




     3


export PATH=/bin








50807






c065f3d14197
clarified cygwin/isabelle scripts;



wenzelm


parents: 

diff
changeset




     4














c065f3d14197
clarified cygwin/isabelle scripts;



wenzelm


parents: 

diff
changeset




     5


bash /etc/postinstall/base-files-mketc.sh.done













c065f3d14197
clarified cygwin/isabelle scripts;



wenzelm


parents: 

diff
changeset




     6









76273






4c7e8d01f6b9
more robust: prefer Windows $USERNAME;



wenzelm


parents: 
76272

diff
changeset




     7


mkpasswd -l -u "$USERNAME" -p "$(cygpath -u "$HOMEDRIVE$HOMEPATH\\..")" >/etc/passwd








50978






20edcc6a8def
more uniform permissions;



wenzelm


parents: 
50977

diff
changeset




     8









64386






e936967c2a06
proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;



wenzelm


parents: 
61737

diff
changeset




     9


find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +








52672






8de4235298cb
more robust executable path specifications;



wenzelm


parents: 
51042

diff
changeset




    10


find -type d -exec chmod 755 '{}' +













8de4235298cb
more robust executable path specifications;



wenzelm


parents: 
51042

diff
changeset




    11


find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +








61737






b91b1ebfc8a0
bundle main sources read-only, to avoid accidental editing of imported theories etc.;



wenzelm


parents: 
52672

diff
changeset




    12


find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' +













b91b1ebfc8a0
bundle main sources read-only, to avoid accidental editing of imported theories etc.;



wenzelm


parents: 
52672

diff
changeset




    13


find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' +








52672






8de4235298cb
more robust executable path specifications;



wenzelm


parents: 
51042

diff
changeset




    14


xargs -0 < contrib/cygwin/isabelle/executables chmod 755















isabelle