This commit is contained in:
Tibo De Peuter 2024-11-10 20:22:03 +01:00
parent b3f64edc8c
commit ce1f178d62
Signed by: tdpeuter
GPG key ID: 38297DE43F75FFE2
15 changed files with 127 additions and 48 deletions

View file

@ -14,12 +14,8 @@
in {
devShells.default = pkgs.mkShell {
buildInputs = with pkgs; [
sage
sageWithDoc
];
shellHook = ''
sage --nodotsage -n=jupyterlab --notebook-dir .
'';
};
}
);