diff options
| author | EuAndreh <eu@euandre.org> | 2019-01-03 06:12:39 -0200 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2019-01-03 06:42:41 -0200 |
| commit | b679e7d91f7af2d97bead966a17b715cdb020b1a (patch) | |
| tree | 71926893088a93513971d950d5a19b012722fedf /dhall/dhall-gen.sh | |
| parent | Add custom nu gitconfig options in nugitconfig.ini file. (diff) | |
| download | dotfiles-b679e7d91f7af2d97bead966a17b715cdb020b1a.tar.gz dotfiles-b679e7d91f7af2d97bead966a17b715cdb020b1a.tar.xz | |
Fix shellcheck ofsenses on bash scripts.
Diffstat (limited to 'dhall/dhall-gen.sh')
| -rwxr-xr-x | dhall/dhall-gen.sh | 7 |
1 files changed, 0 insertions, 7 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 |