diff options
author | tv <tv@krebsco.de> | 2015-05-21 01:56:08 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-05-21 01:56:08 +0200 |
commit | 60e526dc9419d0bff89b05f4a98332aae48a0253 (patch) | |
tree | 484cb2c1075cdcabe8020ca40704f4d68f2b2fed /bin/make-parent-dirs | |
parent | 6b976a36f5ef72d7463f848b55f250b807291bfd (diff) |
sh: functions -> bin/
Diffstat (limited to 'bin/make-parent-dirs')
-rwxr-xr-x | bin/make-parent-dirs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bin/make-parent-dirs b/bin/make-parent-dirs new file mode 100755 index 0000000..f4717b2 --- /dev/null +++ b/bin/make-parent-dirs @@ -0,0 +1,10 @@ +#! /bin/sh +# make-parent-dirs : lines path |> lines directory +# List all parent directories of a path. +set -euf + +set -- "$(sed -n 's|/[^/]*$||p' | grep . | sort | uniq)" +if echo "$1" | grep -q .; then + echo "$1" + echo "$1" | make-parent-dirs +fi |