Dan Stanescu issues

Repositories
Issues
Comments

Results 2 issues of


                                            Dan Stanescu

Kernel seems to install correctly, but only produces "cell must be evaluated first..."

I recently installed the kernel, together with the Jupyter notebook extensions (agda-extension). All seems well, the kernel starts as it should on a new notebook, but every time I press...

MEGA Nemo file manager integration: icon overlays fail updating

I have used MEGA on Peppermint 10 with the Nemo file manager without any problem. Recently I switched to Linux Mint Cinnamon. AFAIK it's the same file manager, but I...

nemo-ext