Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pkg no GUI? #661

Closed
wants to merge 20 commits into from
Closed

Pkg no GUI? #661

wants to merge 20 commits into from

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented Nov 10, 2020

OUTDATED: see #844 instead

Adventure to build a GUI for Pkg into Pluto - #142.

  • It will be based on autocomplete: if you do nothing, a reproducible, self-contained package environment will be set up
  • The GUI will be inline with the using or import statement: the Pkg command and import command are fused. The GUI appears as you type (try it out!), and you can ignore it and all is well
  • "Project.toml" but with support for git and local path
  • Info will be stored in the notebook file's preamble (the stuff before the 1st cell). Exactly how this is stored is not super important, but let's talk about this later

Very work-in-progress, just a place to post updates.

TODO

  • GUI
  • Disable when you Pkg.activate
  • Conversion tool for notebooks
  • Actually use these versions
  • Store in file
  • Detect when notebook restart is needed and do it

WIP screenshots

image

Schermafbeelding 2020-12-13 om 01 53 56

@fonsp
Copy link
Owner Author

fonsp commented Nov 10, 2020

there's something magical about those codemirror widgets

@lungben
Copy link
Contributor

lungben commented Nov 27, 2020

Maybe the notebook.assets folder from #707 could be used to store the Project and Manifest.toml files?

@j-fu
Copy link
Contributor

j-fu commented Dec 15, 2020

Maybe the notebook.assets folder from #707 could be used to store the Project and Manifest.toml files?

Hi I would like to re-iterate here my idea to use inline toml directly in the notebook, also for more options in the cell descriptors: https://www.notion.so/Pluto-jl-a9982e79b7bb4c658e6216c15a9d4cab?p=61749c09aa1b450fa79f025d725bef4c

@fonsp fonsp changed the title Pkg GUI Pkg no GUI? Jan 6, 2021
@fonsp fonsp mentioned this pull request Jan 15, 2021
66 tasks
@fonsp fonsp closed this Jan 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants