To update the Pluto version used by the extension

Edit PLUTO_BRANCH_NAME in extension.ts

To run a local install of Pluto

If you want to use you local version of Pluto, then create a file in this folder called

use_local_pluto.txt

With you favourite emoji inside!

If the file exists, our runner will use your global Julia environment to run Pluto.

This file is .gitignored, but be sure to test the extension without this file! Remember to update Pluto if you made any necessary changes.