diff options
author | Sven Gothel <[email protected]> | 2010-12-19 01:16:06 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2010-12-19 01:16:06 +0100 |
commit | 2ecec704ffa545e8d865c611df0debede2afcaf1 (patch) | |
tree | f96a10e95fa9e19ff1389d4831e99f5a73800136 /deployment/funcs_jnlp_relocate.sh | |
parent | 6f78999b70c214d71338793d00bc41e57760c7e2 (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-x | deployment/funcs_jnlp_relocate.sh | 8 |
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" |