dhall/dhall-gen.sh


1
2
3
4
5
6
7

#!/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