blog-static-flake/build/builder.sh

51 lines
2.0 KiB
Bash
Raw Normal View History

2020-04-06 16:51:17 -07:00
source $stdenv/setup
# Set up Ruby to use UTF-8
export RUBYOPT="-KU -E utf-8:utf-8"
2020-09-02 17:03:02 -07:00
# Copy files to a mutable directory.
2020-04-06 16:51:17 -07:00
cp -r $src/* .
# We'll generate some static files so make static writable
2023-02-19 22:57:07 -08:00
mkdir -p static && chmod -R u+w static
2020-09-02 17:03:02 -07:00
# We host some static files (KaTeX CSS in production) on
# static.danilafe.com. However, we can just bundle them here instead!
2023-12-30 15:09:44 -08:00
# Also, since we're generating and adding a resume further down, add it to
# the configuration here as well.
echo '[params]' >> config-urls.toml
echo 'katexCssUrl = "/katex/katex.min.css"' >> config-urls.toml
echo 'normalizeCssUrl = "/normalize/normalize.css"' >> config-urls.toml
echo 'visNetworkJsUrl = "/vis-network/vis-network.min.js"' >> config-urls.toml
echo 'bergamotJsUrl = "/bergamot/bergamot.js"' >> config-urls.toml
echo 'katexJsUrl = "/katex/katex.min.js"' >> config-urls.toml
2023-12-30 15:09:44 -08:00
echo 'resumeStaticFile = "/Resume-Danila-Fedorin.pdf"' >> config-urls.toml
cp -r $webFiles/* static/
2020-09-02 17:03:02 -07:00
# Build site with Hugo
hugo $hugoFlags --config=config.toml,config-urls.toml
# Run Agda to generate HTML files for all Agda projects
# Agda will write interface files, so make .code/ writable
chmod -R u+w code
agdaCommand="agda -l standard-library -i . "
ruby ./build-agda-html.rb "$agdaCommand"
# Create generated files
# Can't do submodules because nix flake inputs get their .git deleted
mkdir -p static/graph && ruby ./analyze.rb > static/graph/graph.gen.js # Graph files
stork build --input public/index.toml --output static/index.st # Search index
2023-02-19 21:49:59 -08:00
cp $resume/Resume-Danila-Fedorin.pdf static/Resume-Danila-Fedorin.pdf
# Static folder changed, re-run Hugo
hugo $hugoFlags --config=config.toml,config-urls.toml
# Output result
mkdir $out
2020-09-02 17:03:02 -07:00
cp -r public/$publicPath/* $out/
# Render math in HTML and XML files.
htmlfiles=$(find $out/ -regex "$out/.*\.html")
echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./convert.rb --katex-js-file static/katex/katex.min.js
echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./agda.rb