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

Make snippets globally accessible on a system #121

Closed
kpinnipa opened this issue Sep 22, 2020 · 4 comments · Fixed by #187
Closed

Make snippets globally accessible on a system #121

kpinnipa opened this issue Sep 22, 2020 · 4 comments · Fixed by #187
Labels
enhancement New feature or request

Comments

@kpinnipa
Copy link
Collaborator

Is your feature request related to a problem? Please describe.
Right now snippets are created and saved into a folder that is separate for each directory. This means that when jupyterlab is launched from a different directory it can be hard to access those snippets because they are in a folder in a separate directory.

Describe the solution you'd like
Figure out a way to make snippets available anywhere jupyterlab is launched. This way snippets from other projects can be used in a new workspace without needing to recreate them. This means sending all the snippets created to one location on the user's computer.

@sntgluca
Copy link

sntgluca commented Dec 1, 2020

I think this would be great to have, and ideally configurable from JupyterLab's advanced settings.

Incidentally I would welcome the possibility to pick from several directories - to allow for instance personal code snippets along with shared code snippets.

That's because I would love to have the possibility to share code snippets to a group of users from a JupyterHub environment.

jahn96 added a commit to jahn96/jupyterlab-code-snippets that referenced this issue Apr 15, 2021
@jahn96 jahn96 linked a pull request Apr 15, 2021 that will close this issue
kpinnipa added a commit that referenced this issue Apr 16, 2021
Make snippets configurable in advanced settings #121
@dcervenkov
Copy link

Hi @kpinnipa, any ETA on the release with global snippets?

@jahn96
Copy link
Collaborator

jahn96 commented Apr 27, 2021

Hi @dcervenkov,
We are planning to release it sometime this week.
Thank you so much for your interest!

@dcervenkov
Copy link

@jahn96 that's good to hear. Thank you for the nice plugin!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants