summaryrefslogtreecommitdiffstats
path: root/deployment/funcs_jnlp_relocate.sh
diff options
context:
space:
mode:
authorSven Gothel <[email protected]>2010-12-19 01:16:06 +0100
committerSven Gothel <[email protected]>2010-12-19 01:16:06 +0100
commit2ecec704ffa545e8d865c611df0debede2afcaf1 (patch)
treef96a10e95fa9e19ff1389d4831e99f5a73800136 /deployment/funcs_jnlp_relocate.sh
parent6f78999b70c214d71338793d00bc41e57760c7e2 (diff)
Replace tags in html files as well; Use env var JOGAMP_DEPLOYMENT_NO_REPACK to avoid pack200 (local test time)
Diffstat (limited to 'deployment/funcs_jnlp_relocate.sh')
-rwxr-xr-xdeployment/funcs_jnlp_relocate.sh8
1 files changed, 2 insertions, 6 deletions
diff --git a/deployment/funcs_jnlp_relocate.sh b/deployment/funcs_jnlp_relocate.sh
index 192e249..4177af5 100755
--- a/deployment/funcs_jnlp_relocate.sh
+++ b/deployment/funcs_jnlp_relocate.sh
@@ -31,10 +31,8 @@ if [ ! -e $jnlpdir ] ; then
exit 1
fi
-cp -v $jnlpdir/*.html $wsdir
-
local uri_esc=`echo $url | sed 's/\//\\\\\//g'`
-for j in $jnlpdir/*.jnlp ; do
+for j in $jnlpdir/*.jnlp $jnlpdir/*.html ; do
local jb=`basename $j`
echo "processing $j to $wsdir/$jb"
@@ -91,11 +89,9 @@ if [ ! -e $jnlpdir ] ; then
exit 1
fi
-cp -v $jnlpdir/*.html $demos
-
local uri_esc=`echo $url | sed 's/\//\\\\\//g'`
local uri_demos_esc=`echo $url_demos | sed 's/\//\\\\\//g'`
-for j in $jnlpdir/*.jnlp ; do
+for j in $jnlpdir/*.jnlp $jnlpdir/*.html ; do
local jb=`basename $j`
echo "processing $j to $demos/$jb"