1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
#! /bin/sh wsdir=$1 shift if [ -z "$wsdir" ] ; then echo usage $0 webstartdir exit 1 fi if [ ! -e $wsdir ] ; then echo $wsdir does not exist exit 1 fi cd $wsdir rm -rf orig mkdir orig for i in *.jnlp ; do mv $i orig sed -e 's/<security>//g' -e 's/<\/security>//g' -e 's/<all-permissions\/>//g' orig/$i > $i done