From bb46e52bb239f9b0962ff441d5a8f037b1ef1eaf Mon Sep 17 00:00:00 2001 From: tv Date: Thu, 21 May 2015 23:52:06 +0200 Subject: deploy: merge next --- bin/undot-paths | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 bin/undot-paths (limited to 'bin/undot-paths') diff --git a/bin/undot-paths b/bin/undot-paths deleted file mode 100755 index 2ed86bd..0000000 --- a/bin/undot-paths +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/sh -# undot_paths : lines path |> lines path -# Remove all dots (. and ..) from input paths. -set -euf - -sed ' - :0 - s://\+:/:g - s:/\.\(/\|$\):\1:g - s:/[^/]\+/\.\.\(/\|$\):\1:g - s:^/\(\.\./\)\+:/: - t0 - s:^$:/: -' -- cgit v1.2.3