From 6fae25b305d714b3ab7608fa003f1af9bf024545 Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Tue, 14 Feb 2023 13:33:23 +0800 Subject: Rename tools into bin --- tools/osm/osm.osm.remove | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 tools/osm/osm.osm.remove (limited to 'tools/osm/osm.osm.remove') 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 @@ -#!/bin/bash - -while read -r line -do - # put element type and element ID into array - array=( $(echo $line) ) - cat $1 |\ - sed -i "/<$array[1] id=\"$array[2]\"/,/<\/$array[1]>/ d" -done -- cgit v1.2.3-70-g09d2