diff options
Diffstat (limited to '.builds/shell.nix')
-rw-r--r-- | .builds/shell.nix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/.builds/shell.nix b/.builds/shell.nix deleted file mode 100644 index 5b50f03..0000000 --- a/.builds/shell.nix +++ /dev/null @@ -1,14 +0,0 @@ -with import <nixpkgs> {}; -mkShell { - nativeBuildInputs = [ - julia-bin nodejs nodePackages.katex python3Packages.formbox - ]; - - shellHook = '' - npm install highlight.js # https://github.com/NixOS/nixpkgs/issues/152201 - katex=${nodePackages.katex}/lib/node_modules/katex/dist - install -Dm 644 $katex/katex.min.js _libs/katex/katex.min.js - install -Dm 644 $katex/contrib/auto-render.min.js\ - _libs/katex/contrib/auto-render.min.js - ''; -} |