summaryrefslogtreecommitdiffstats
path: root/bin/slash-path-relpath
diff options
context:
space:
mode:
Diffstat (limited to 'bin/slash-path-relpath')
-rwxr-xr-xbin/slash-path-relpath8
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/slash-path-relpath b/bin/slash-path-relpath
deleted file mode 100755
index 40230a70c..000000000
--- a/bin/slash-path-relpath
+++ /dev/null
@@ -1,8 +0,0 @@
-#! /bin/sh
-# slash_path_relpath : lines (path ":" relpath) |> lines path
-#
-# Example: "/foo/bar: baz" => "/foo/baz"
-#
-set -euf
-
-sed -n 's@/[^/]\+:@/@p'