Admin/Windows/Cygwin/isabelle/postinstall
author wenzelm
Mon, 21 Jan 2013 16:33:54 +0100
changeset 52010 f024975be336
parent 51993 20edcc6a8def
child 53809 8de4235298cb
permissions -rwxr-xr-x
better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
     1 #!/bin/bash
     2 
     3 PATH=/bin
     4 
     5 bash /etc/postinstall/base-files-mketc.sh.done
     6 
     7 mkpasswd -l >/etc/passwd
     8 mkgroup -l >/etc/group
     9