diff options
Diffstat (limited to '.builds/shell.nix')
| -rw-r--r-- | .builds/shell.nix | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/.builds/shell.nix b/.builds/shell.nix index 3f21d40..b73cc6c 100644 --- a/.builds/shell.nix +++ b/.builds/shell.nix @@ -1,12 +1,15 @@ with import <nixpkgs> {}; mkShell { nativeBuildInputs = [ - julia-bin nodejs nodePackages.katex - ] ++ (with python3Packages; [ bleach markdown ]); + julia-bin nodejs nodePackages.katex python3Packages.formbox + ]; shellHook = '' npm install highlight.js # https://github.com/NixOS/nixpkgs/issues/152201 - ln -fns ${nodePackages.katex}/lib/node_modules/katex/dist _libs/katex - ln -fs _libs/katex/{fonts,katex.min.css} _css + katex=${nodePackages.katex}/lib/node_modules/katex/dist + install -m 755 -d _css/fonts _libs/katex + install -m 644 $katex/katex.min.css _css + install -m 644 $katex/fonts/* _css/fonts + install -m 644 $katex/{katex.min.js,contrib/auto-render.min.js} _libs/katex ''; } |