diff options
author | Hsieh Chin Fan <pham@topo.tw> | 2023-02-14 13:33:23 +0800 |
---|---|---|
committer | Hsieh Chin Fan <pham@topo.tw> | 2023-02-14 13:33:23 +0800 |
commit | 6fae25b305d714b3ab7608fa003f1af9bf024545 (patch) | |
tree | 05507b2c0505659d2fd847ecce988dacab63a236 /bin/osm/josm_install.sh | |
parent | 41ad31a2dee9ff912f222652f022b4c55cddcbf7 (diff) |
Rename tools into bin
Diffstat (limited to 'bin/osm/josm_install.sh')
-rwxr-xr-x | bin/osm/josm_install.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/osm/josm_install.sh b/bin/osm/josm_install.sh new file mode 100755 index 0000000..520875a --- /dev/null +++ b/bin/osm/josm_install.sh | |||
@@ -0,0 +1,8 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | # scripts from https://josm.openstreetmap.de/wiki/Download#Webstart | ||
4 | echo deb https://josm.openstreetmap.de/apt $(lsb_release -sc) universe | sudo tee /etc/apt/sources.list.d/josm.list > /dev/null &&\ | ||
5 | wget -q https://josm.openstreetmap.de/josm-apt.key -O- | sudo apt-key add - &&\ | ||
6 | sudo apt-get update &&\ | ||
7 | sudo apt-get remove josm josm-plugins &&\ | ||
8 | sudo apt-get install josm | ||