diff options
author | EuAndreh <eu@euandre.org> | 2020-02-03 20:23:56 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-02-03 20:23:56 -0300 |
commit | 814401321ce81a1d7f8b6414af052a97fddc86c6 (patch) | |
tree | 173879edb5c397c57b44458a885532c8bd67319d | |
parent | CSS: Do CSS line numbering the right way (diff) | |
download | euandre.org-814401321ce81a1d7f8b6414af052a97fddc86c6.tar.gz euandre.org-814401321ce81a1d7f8b6414af052a97fddc86c6.tar.xz |
Add css.sh bash snippet to iterate on CSS
-rwxr-xr-x | css.sh | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -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/ |