diff options
Diffstat (limited to 'generate.sh')
-rwxr-xr-x | generate.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generate.sh b/generate.sh index 86a5a40..0495d42 100755 --- a/generate.sh +++ b/generate.sh | |||
@@ -1,5 +1,5 @@ | |||
1 | #! /usr/bin/env bash | 1 | #! /usr/bin/env nix-shell |
2 | 2 | #! nix-shell -i bash -p eva pandoc esh | |
3 | 3 | ||
4 | title_wrapper() { | 4 | title_wrapper() { |
5 | # remove extension | 5 | # remove extension |
@@ -110,7 +110,7 @@ for f in $posts; do | |||
110 | 110 | ||
111 | id="${id%.*}" | 111 | id="${id%.*}" |
112 | mkdir -p "docs/posts/$id" | 112 | mkdir -p "docs/posts/$id" |
113 | esh -s /bin/bash \ | 113 | esh \ |
114 | -o "docs/posts/$id/index.html" \ | 114 | -o "docs/posts/$id/index.html" \ |
115 | "./post.esh" \ | 115 | "./post.esh" \ |
116 | file="$file" \ | 116 | file="$file" \ |
@@ -123,7 +123,7 @@ done | |||
123 | 123 | ||
124 | # generate rss feeds | 124 | # generate rss feeds |
125 | echo "generating RSS feeds ..." | 125 | echo "generating RSS feeds ..." |
126 | esh -s /bin/bash \ | 126 | esh \ |
127 | -o "./docs/index.xml" \ | 127 | -o "./docs/index.xml" \ |
128 | "rss.esh" | 128 | "rss.esh" |
129 | 129 | ||