2023-06-14 10:16:33 +01:00
|
|
|
{...}: {
|
2023-06-14 10:42:07 +01:00
|
|
|
users.users.jupyter.group = "jupyter";
|
|
|
|
users.groups.jupyter = {};
|
2023-06-14 10:16:33 +01:00
|
|
|
services.jupyter = {
|
|
|
|
enable = true;
|
|
|
|
notebookConfig = ''
|
|
|
|
c.FileCheckpoints.checkpoint_dir = c.ServerApp.root_dir + ".ipynb_checkpoints"
|
|
|
|
c.ServerApp.open_browser = False
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|