| author | wenzelm |
| Sat, 20 Feb 2021 13:42:37 +0100 | |
| changeset 73255 | 7e2a9a8c2b85 |
| parent 64386 | e936967c2a06 |
| child 76272 | b8072e5a1637 |
| permissions | -rwxr-xr-x |
|
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 | 2 |
|
| 52672 | 3 |
export PATH=/bin |
| 50807 | 4 |
|
5 |
bash /etc/postinstall/base-files-mketc.sh.done |
|
6 |
||
7 |
mkpasswd -l >/etc/passwd |
|
8 |
mkgroup -l >/etc/group |
|
| 50978 | 9 |
|
|
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
|
10 |
find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
|
| 52672 | 11 |
find -type d -exec chmod 755 '{}' +
|
12 |
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
|
13 |
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
|
14 |
find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' +
|
| 52672 | 15 |
xargs -0 < contrib/cygwin/isabelle/executables chmod 755 |