diff options
Diffstat (limited to '')
| -rwxr-xr-x | dhall/dhall-gen.sh | 7 | ||||
| -rw-r--r-- | dhall/repos.txt | 1 | ||||
| -rw-r--r-- | templates/sr-ht-build.dhall (renamed from dhall/sr-ht-build.dhall) | 0 |
3 files changed, 0 insertions, 8 deletions
diff --git a/dhall/dhall-gen.sh b/dhall/dhall-gen.sh deleted file mode 100755 index 9bba429..0000000 --- a/dhall/dhall-gen.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -REPOS_PATH="$HOME/dev/libre" - -for repo in $(cat repos.txt); do - dhall 2> /dev/null <<< "./sr-ht-build.dhall \"$repo\"" | dhall-to-json --pretty > "$REPOS_PATH/$repo/.build.yml" -done diff --git a/dhall/repos.txt b/dhall/repos.txt deleted file mode 100644 index 0154e4c..0000000 --- a/dhall/repos.txt +++ /dev/null @@ -1 +0,0 @@ -website diff --git a/dhall/sr-ht-build.dhall b/templates/sr-ht-build.dhall index 41b937b..41b937b 100644 --- a/dhall/sr-ht-build.dhall +++ b/templates/sr-ht-build.dhall |