Last change
on this file since 24523 was 7739, checked in by joerg, 17 years ago |
josm/debian: add josm-ng to package, change icon-path, remove auto versionnumbering of changelog
|
File size:
798 bytes
|
Line | |
---|
1 | #!/bin/sh
|
---|
2 | josm_dir="/usr/local/share/josm"
|
---|
3 | josm_bin="$josm_dir/josm.jar"
|
---|
4 |
|
---|
5 | if ! [ -s ~/.josm/preferences ]; then
|
---|
6 | echo "Installing Preferences File"
|
---|
7 | cp "$josm_dir/preferences" ~/.josm/preferences
|
---|
8 | fi
|
---|
9 |
|
---|
10 | if ! [ -s ~/.josm/bookmarks ]; then
|
---|
11 | echo "Installing Bookmarks File"
|
---|
12 | cp "$josm_dir/bookmarks" ~/.josm/bookmarks
|
---|
13 | fi
|
---|
14 |
|
---|
15 | # ls -l "$josm_bin"
|
---|
16 | # unzip -p $josm_bin REVISION | grep "Last Changed"
|
---|
17 |
|
---|
18 | if [ -n "$http_proxy" ]; then
|
---|
19 | proxy_host=${http_proxy%:*}
|
---|
20 | proxy_host=${proxy_host#*//}
|
---|
21 | proxy_port=${http_proxy##*:}
|
---|
22 | proxy_port=${proxy_port%/}
|
---|
23 | proxy=" -Dhttp.proxyHost=$proxy_host -Dhttp.proxyPort=$proxy_port "
|
---|
24 | echo "Proxy: $proxy"
|
---|
25 | fi
|
---|
26 |
|
---|
27 | java -Djosm.resource=/usr/share/icons/map-icons/square.small \
|
---|
28 | -Xmx500m \
|
---|
29 | $proxy \
|
---|
30 | -jar "$josm_bin"\
|
---|
31 | "$@"
|
---|
Note:
See
TracBrowser
for help on using the repository browser.