3 # Where the installed system resides
6 # The group all files belong to
10 # No config required after this point. Hopefully.
11 ##################################################################
13 # Needed to correct permissions
17 # Parameters. $1 permissions
18 # $2 directory or file
19 # $3 mode: [d|f] (dir or file)
21 LIST=$(find $2 -type $3)
22 if [ "$LIST" != "" ]; then
30 # Parameters: $1: permissions for dirs
31 # $2: permissions for files
32 # $3: directory or file
37 # chmod $1 $(find $3 -type d)
38 # chmod $2 $(find $3 -type f)
44 chgrp $GROUP $INSTDIR -R #> /dev/null 2>&1
45 grant 775 664 $INSTDIR > /dev/null 2>&1
46 grant 750 640 $INSTDIR/WEB-INF/etc/config.properties
48 echo "Permissions set."