|
Last change
on this file since 12321 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:
801 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh
|
|---|
| 2 | josm_dir="/usr/local/share/josm"
|
|---|
| 3 | josm_bin="$josm_dir/josm-ng.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.
