diff options
author | tv <tv@krebsco.de> | 2015-05-21 23:52:06 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-05-21 23:52:06 +0200 |
commit | bb46e52bb239f9b0962ff441d5a8f037b1ef1eaf (patch) | |
tree | 826235e1b776665ab32ee787bb96cd3b6f519d95 /bin/make-rsync-whitelist | |
parent | 42d10d883a720a63753568a6fa2d12790e9310c6 (diff) |
deploy: merge next
Diffstat (limited to 'bin/make-rsync-whitelist')
-rwxr-xr-x | bin/make-rsync-whitelist | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/bin/make-rsync-whitelist b/bin/make-rsync-whitelist deleted file mode 100755 index a1b09c8..0000000 --- a/bin/make-rsync-whitelist +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh -# make-rsync-whitelist : lines relpath |> liens rsync-filter -set -euf - -set -- "$(cat)" - -# include all files in stdin and their directories -{ - echo "$1" - echo "$1" | make-parent-dirs | sort | uniq -} \ - | sed 's|^|+ /|' - -# exclude everything else -echo '- *' |