diff options
author | EuAndreh <eu@euandre.org> | 2020-02-14 22:27:01 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-02-14 22:27:01 -0300 |
commit | 408f77cfc59849afe95bdf3b4ec0ff0bd6fc8486 (patch) | |
tree | aa992858134d132a6fb2dc4b1a8c7c6c171f66ca | |
parent | html tidy wip (diff) | |
parent | .build.yml: Don't publish when not on master branch (diff) | |
download | euandre.org-408f77cfc59849afe95bdf3b4ec0ff0bd6fc8486.tar.gz euandre.org-408f77cfc59849afe95bdf3b4ec0ff0bd6fc8486.tar.xz |
Merge branch 'master' into tidy
-rw-r--r-- | .build.yml | 5 | ||||
-rw-r--r-- | _pastebins/guix-shebang.md | 14 |
2 files changed, 19 insertions, 0 deletions
@@ -13,6 +13,11 @@ tasks: - tests: | cd website/ nix-build -A test + - check-branch: | + cd website/ + if [[ "$(git rev-parse master)" != "$(git rev-parse HEAD)" ]]; then + complete-build; + fi - docs: | cd website/ nix-build -A publishScript diff --git a/_pastebins/guix-shebang.md b/_pastebins/guix-shebang.md new file mode 100644 index 0000000..626aea8 --- /dev/null +++ b/_pastebins/guix-shebang.md @@ -0,0 +1,14 @@ +--- +title: Guix shebang +date: 2020-02-14 +layout: pastebin +lang: en +--- + +```shell +#!/usr/bin/env -S guix environment --ad-hoc bash -- bash +set -Eeuo pipefail +cd "$(dirname "${BASH_SOURCE[0]}")" + +pwd +``` |