How can I use GitHub copilot with pluto notebooks ?

[Snimm]

How can I use GitHub copilot with Pluto notebooks?

[pankgeorg]

You can open the notebook in VSCode and use it from there :)

[Snimm]

@pankgeorg I am using Pluto.jl (alpha preview) extension by JuliaHub Inc to run Pluto in VScode. However, I am unable to use Github copilot as it gives no suggestion. Github copilot does give suggestion if I am using vanilla Julia in VScode.

[pankgeorg]

No I meant the actual VSCode editor; Pluto.jl files are also text files that you can edit in any text editor. We don't have integration with CoPilot, in part because it is not free.

[Snimm]

So there is no way to take advantage of both Pluto and CoPilot at the same time?

[pankgeorg]

No

[TheFibonacciEffect]

After I edited the file using VS code, is there any way to "reload" the file from the disk? So that I see the changes appear in pluto?

[holomorphism]

@TheFibonacciEffect If you start Pluto with the auto_reload_from_file option enabled, Pluto will automatically update its state when the notebook file is rewritten in an external editor:

Pluto.run(auto_reload_from_file=true)

See this pull request for details: #1029

There does not seem to be a way to manually reload a file in Pluto (other than closing the notebook and reopening it again).

[TheFibonacciEffect]

Thanks a lot : )