I have a pluto notebook that I pushed to github, and now I open the notebook on pluto, edit it and save it (maybe not exactly save it because when I go to save notebook section and choose the directory and the same file name, it says failed to save because I have to delete the same file manually) and then git says working tree clean. I do ctrl + s in the file and it should save it since I am in the file, the file asked to delete manually for me to save it as. Do I do something wrong? I am looking for a practial way to work with pluto notebooks, push them to github so my prof also can work with them and also use them with github pages. What could be the problem here?
Usually Pluto.jl notebooks just work. I have done so myself quite a number of times. My notebooks just live somewhere in my git repo and the “.jl” is updated everytime I run a cell.
I suspect there might be something more fundamentally wrong here:
I don’t really understand what you are doing though. Could you elaborate what exactly you do?
Maybe you don’t close the notebook before you do a git pull and then Pluto gets confused? Make sure to always close the notebook (and kill the kernel) before changing the .jl file (reading it e.g. commiting is fine though).
1 Like
Yes, apperantly I needed to make a pull beforehand since I work with a template. Thank you.