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 /tools/osm/osm.osm.remove | |
parent | 41ad31a2dee9ff912f222652f022b4c55cddcbf7 (diff) |
Rename tools into bin
Diffstat (limited to 'tools/osm/osm.osm.remove')
-rwxr-xr-x | tools/osm/osm.osm.remove | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/osm/osm.osm.remove b/tools/osm/osm.osm.remove deleted file mode 100755 index 83d6ea8..0000000 --- a/tools/osm/osm.osm.remove +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | while read -r line | ||
4 | do | ||
5 | # put element type and element ID into array | ||
6 | array=( $(echo $line) ) | ||
7 | cat $1 |\ | ||
8 | sed -i "/<$array[1] id=\"$array[2]\"/,/<\/$array[1]>/ d" | ||
9 | done | ||