pkgs/misc/documentation-highlighter/update.sh

   1 #!/usr/bin/env nix-shell
   2 #!nix-shell -i bash -p curl -p unzip
   3
   4 set -eu
   5 set -o pipefail
   6
   7 root=$(pwd)
   8
   9 if [ ! -f "./update.sh" ]; then
  10     echo "Please run this script from within pkgs/misc/documentation-highlighter/!"
  11     exit 1
  12 fi
  13
  14 scratch=$(mktemp -d -t tmp.XXXXXXXXXX)
  15 function finish {
  16   rm -rf "$scratch"
  17 }
  18 trap finish EXIT
  19
  20
  21 mkdir $scratch/src
  22 cd $scratch/src
  23
  24 curl \
  25     -X POST \
  26     -H 'Content-Type: application/json' \
  27     --data-raw '{
  28       "api": 2,
  29       "languages": ["bash", "nix", "shell"]
  30     }' \
  31     https://highlightjs.org/api/download > $scratch/out.zip
  32
  33
  34 unzip "$scratch/out.zip"
  35 out="$root/"
  36 mkdir -p "$out"
  37 cp ./highlight.min.js "$out/highlight.pack.js"
  38 cp ./{LICENSE,styles/mono-blue.css} "$out"
  39
  40 (
  41     echo "This file was generated with pkgs/misc/documentation-highlighter/update.sh"
  42     echo ""
  43     cat README.md
  44 ) > "$out/README.md"