From 814401321ce81a1d7f8b6414af052a97fddc86c6 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 3 Feb 2020 20:23:56 -0300 Subject: Add css.sh bash snippet to iterate on CSS --- css.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 css.sh diff --git a/css.sh b/css.sh new file mode 100755 index 0000000..420878b --- /dev/null +++ b/css.sh @@ -0,0 +1,11 @@ +#!/usr/bin/env bash +set -Eeuo pipefail +cd "$(dirname "${BASH_SOURCE[@]}")" + +nix-build -A subtasks.docs +rm -rf tmp/ +mkdir tmp/ + +cp -R result/* tmp/ +chmod -R +w tmp/ +cp site/css/styles.css tmp/css/ -- cgit v1.2.3