diff options
| -rwxr-xr-x | dev | 7 | ||||
| -rwxr-xr-x | gen | 48 | ||||
| -rwxr-xr-x | genonly | 53 | ||||
| -rw-r--r-- | md-priv/2025-02-10-12.md | 11 | ||||
| -rw-r--r-- | readme.md | 8 |
5 files changed, 118 insertions, 9 deletions
@@ -6,4 +6,9 @@ cd pub/ python -m http.server 8080 & cd .. -find md/ md-priv/ -type f -name "*.md" | entr ./gen + +if [ -z "$1" ]; then + find res/ md/ md-priv/ -type f -name "*.md" -or -name "*.js" | entr ./gen +else + find res/ md/ md-priv/ -type f -name "*.md" -or -name "*.js" | entr ./genonly "$1" +fi @@ -2,13 +2,15 @@ set -e -mkdir -p pub/ +mkdir -p pub/priv rm -f res/diag/* mkdir -p res/diag cp index.md pub/index.md +cp index.md pub/priv/index.md printf "\n\n" >>pub/index.md +printf "\n\n" >>pub/priv/index.md export MERMAID_FILTER_FORMAT="svg" export MERMAID_FILTER_THEME="dark" @@ -16,7 +18,7 @@ export MERMAID_FILTER_BACKGROUND="transparent" export MERMAID_FILTER_LOC="res/diag" export MERMAID_FILTER_IMAGE_CLASS="mermaid" -ARGS="-A append.html -A common.html -F mermaid-filter --toc --css style.css -t html -s --citeproc --bibliography=bib.bib --biblatex --csl bib.csl -L ./server-katex/filter.lua" +ARGS="-A common.html -F mermaid-filter --toc --css style.css -t html -s --citeproc --bibliography=bib.bib --biblatex -L ./server-katex/filter.lua" NHEAD=13 function generate_index() { @@ -27,9 +29,9 @@ function generate_index() { declare -A all_tags declare -A all_posts for file in $(ls -1 md/*.md | sort -r); do - EXTRA="" + EXTRA="-A append.html" plot="$(head -n$NHEAD "$file" | grep -m 1 plot | cut -c 7-)" - [[ "$plot" = "true" ]] && EXTRA="-A plot.html" + [[ "$plot" = "true" ]] && EXTRA="$EXTRA -A plot.html" name="$(basename $file | cut -f 1 -d '.')" title="$(head -n$NHEAD "$file" | grep -m 1 ^title | cut -c 8-)" @@ -38,10 +40,16 @@ for file in $(ls -1 md/*.md | sort -r); do pubdate="$(head -n$NHEAD "$file" | grep -m 1 ^date | cut -c 6-)" author="$(head -n$NHEAD "$file" | grep -m 1 ^author | cut -c 8-)" count="$(pandoc --lua-filter wordcount.lua "$file")" + + if [[ "$tags" == *"essay"* ]]; then + EXTRA="" + fi + pandoc $ARGS $EXTRA "$file" -o "pub/$name".html & post="- [$title]($name.html)" - post="$post<div>$date - $pubdate · $count words · $author</div><div class=tags>" + # post="$post<div>$date - $pubdate · $count words · $author</div><div class=tags>" + post="$post<div>$pubdate · $count words · $author</div><div class=tags>" tags="$(echo "$tags" | tr "," "\n")" while IFS= read -r tag; do @@ -64,7 +72,34 @@ for tag in "${!all_tags[@]}"; do generate_index "pub/tag_$tag.md" "pub/tag_$tag.html" done +# private/unfinished +# TODO: Merge with pub code +priv_words=0 +priv_count=0 +for file in $(ls -1 md-priv/*.md | sort -r); do + EXTRA="-A append.html" + plot="$(head -n$NHEAD "$file" | grep -m 1 plot | cut -c 7-)" + [[ "$plot" = "true" ]] && EXTRA="$EXTRA -A plot.html" + + name="$(basename $file | cut -f 1 -d '.')" + pandoc $ARGS $EXTRA "$file" -o "pub/priv/$name".html & + title="$(head -n$NHEAD "$file" | grep -m 1 ^title | cut -c 8-)" + date="$(echo $name | rev | cut -c 4- | rev)" + pubdate="$(head -n$NHEAD "$file" | grep -m 1 ^date | cut -c 6-)" + author="$(head -n$NHEAD "$file" | grep -m 1 ^author | cut -c 8-)" + count="$(pandoc --lua-filter wordcount.lua "$file")" + priv_words=$((priv_words + count)) + priv_count=$((priv_count + 1)) + # echo "- [$title]($name.html) $date - $pubdate · $count words · $author" >>pub/priv/index.md + echo "- [$title]($name.html) $pubdate · $count words · $author" >>pub/priv/index.md + echo "generated $title" +done + +#echo "" >>pub/index.md +#echo "<div class=index-note><p>Queue: Working on $priv_count to-be-published posts, totalling $priv_words words.</p></div>" >>pub/index.md + generate_index pub/index.md pub/index.html +generate_index pub/priv/index.md pub/priv/index.html echo "waiting..." for job in $(jobs -p); do @@ -73,6 +108,9 @@ done cp *.rss pub/ cp *.css pub/ +cp *.css pub/priv/ +# cp res/favicon.ico pub/ cp -r res/ pub/ +cp -r res/ pub/priv/ echo "done!" @@ -0,0 +1,53 @@ +#!/bin/env bash +# generate one priv file only +# e.g. "./genonly md-priv/2024-06-27-16.md" + +file="$1" + +set -e + +mkdir -p pub/priv + +rm -f res/diag/* +mkdir -p res/diag + +cp index.md pub/priv/index.md +printf "\n\n" >>pub/priv/index.md + +export MERMAID_FILTER_FORMAT="svg" +export MERMAID_FILTER_THEME="dark" +export MERMAID_FILTER_BACKGROUND="transparent" +export MERMAID_FILTER_LOC="res/diag" +export MERMAID_FILTER_IMAGE_CLASS="mermaid" + +ARGS="-A common.html -F mermaid-filter --toc --css style.css -t html -s --citeproc --bibliography=bib.bib --biblatex -L ./server-katex/filter.lua" +NHEAD=13 + +priv_words=0 +priv_count=0 +EXTRA="-A append.html" +plot="$(head -n$NHEAD "$file" | grep -m 1 plot | cut -c 7-)" +[[ "$plot" = "true" ]] && EXTRA="$EXTRA -A plot.html" + +name="$(basename $file | cut -f 1 -d '.')" +pandoc $ARGS $EXTRA "$file" -o "pub/priv/$name".html & +title="$(head -n$NHEAD "$file" | grep -m 1 ^title | cut -c 8-)" +date="$(echo $name | rev | cut -c 4- | rev)" +pubdate="$(head -n$NHEAD "$file" | grep -m 1 ^date | cut -c 6-)" +author="$(head -n$NHEAD "$file" | grep -m 1 ^author | cut -c 8-)" +count="$(pandoc --lua-filter wordcount.lua "$file")" +priv_words=$((priv_words + count)) +priv_count=$((priv_count + 1)) +# echo "- [$title]($name.html) $date - $pubdate · $count words · $author" >>pub/priv/index.md +echo "- [$title]($name.html) $pubdate · $count words · $author" >>pub/priv/index.md +echo "generated $title" + +echo "waiting..." +for job in $(jobs -p); do + wait "$job" || echo "$job failed" +done + +cp *.css pub/priv/ +cp -r res/ pub/priv/ + +echo "done!" diff --git a/md-priv/2025-02-10-12.md b/md-priv/2025-02-10-12.md new file mode 100644 index 0000000..2140534 --- /dev/null +++ b/md-priv/2025-02-10-12.md @@ -0,0 +1,11 @@ +--- +author: Firstname Lastname +date: 2025-02-10 +decription: Read this to get your mind blown!! +lang: en-US +pagetitle: You Won't BELIEVE What I've Proved +tags: mafs +title: A Comprehensive Proof of $p=np$ +--- + +idk still working on it @@ -9,6 +9,8 @@ blog](https://text.marvinborner.de). - install `entr`, `pandoc` and its [mermaid-filter](https://github.com/raghur/mermaid-filter) -- `./new` to create a new entry -- `./gen` to generate html -- `./dev` to spin up a development server +- `./new` to create a new private/unfinished entry +- `./gen` to generate all files +- `./dev` to spin up a development server for all files +- `./dev md-priv/file.md` to spin up a development server for a single + file |