--- a/Admin/website/build/set_perm.bash Wed Jul 12 17:00:33 2006 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-#!/usr/bin/env bash
-# $Id$
-
-# set permissions for local files
-
-# parameters
-FIND="$1"
-LOCAL_UMASK_FILE="$2"
-LOCAL_UMASK_DIR="$3"
-LOCAL_GROUP="$4"
-
-for file in $("$FIND" .)
-do
- if [ -O "$file" ]
- then
- echo "$file..."
- if [ -d "$file" ]
- then
- chmod "$LOCAL_UMASK_DIR" "$file"
- else
- if [ -x "$file" ]
- then
- chmod "$LOCAL_UMASK_FILE",u+x,g+x "$file"
- else
- chmod "$LOCAL_UMASK_FILE" "$file"
- fi
- fi
- chgrp "$LOCAL_GROUP" "$file"
- fi
-done