diff options
-rw-r--r-- | gup/abgabe.gup | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gup/abgabe.gup b/gup/abgabe.gup index 3a61c7e..e5fadd4 100644 --- a/gup/abgabe.gup +++ b/gup/abgabe.gup | |||
@@ -1,3 +1,13 @@ | |||
1 | #!/usr/bin/env zsh | 1 | #!/usr/bin/env zsh |
2 | 2 | ||
3 | awk -v "base=$(dirname $2)" '{ print base "/" $0; }' $(dirname $2)/manifest | xargs -t -d '\n' -- zip -j $2 | 3 | dir=$(dirname $2) |
4 | manifest=${dir}/manifest | ||
5 | |||
6 | deps() { | ||
7 | awk -v "base=${dir}" '{ print base "/" $0; }' $manifest | ||
8 | } | ||
9 | |||
10 | gup --update $manifest | ||
11 | |||
12 | deps | xargs gup --update | ||
13 | deps | xargs -t -d '\n' -- zip -j $2 $manifest | ||