diff options
author | 2010-06-16 16:37:05 +0200 | |
---|---|---|
committer | 2010-06-17 09:22:02 +0200 | |
commit | 212a120088de235b9e9ddd88174e45774f6a6d17 (patch) | |
tree | 97758a4c70fa353b1cf4232f292929aafbd4f968 /sci-geosciences/josm/files/josm-r1 | |
parent | InCvs (diff) | |
download | sci-212a120088de235b9e9ddd88174e45774f6a6d17.tar.gz sci-212a120088de235b9e9ddd88174e45774f6a6d17.tar.bz2 sci-212a120088de235b9e9ddd88174e45774f6a6d17.zip |
InCvs
Diffstat (limited to 'sci-geosciences/josm/files/josm-r1')
-rwxr-xr-x | sci-geosciences/josm/files/josm-r1 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sci-geosciences/josm/files/josm-r1 b/sci-geosciences/josm/files/josm-r1 deleted file mode 100755 index 48c34d8bb..000000000 --- a/sci-geosciences/josm/files/josm-r1 +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -if [ -z "$http_proxy" ]; then - java -jar /usr/share/josm/lib/josm.jar -else - proxy_port=`echo $http_proxy|sed -e 's/.*://g'` - proxy_host=`echo $http_proxy|sed -e 's!\(.*://\)\?\(.*\):.*!\2!g'` - java -Dhttp.proxyHost=$proxy_host -Dhttp.proxyPort=$proxy_port -jar /usr/share/josm/lib/josm.jar -fi |