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

Search functionality #11241

Closed
wubr2000 opened this issue Oct 5, 2021 · 3 comments
Closed

Search functionality #11241

wubr2000 opened this issue Oct 5, 2021 · 3 comments
Labels
enhancement status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion.

Comments

@wubr2000
Copy link

wubr2000 commented Oct 5, 2021

Problem

  • I have many notebooks in my notebook server. I'm always frustrated when I need to remember which of the notebooks I've saved a certain queries. I would like to see a search function in Jupiter notebook servers where one can search for specific terms and it would output all the notebooks and lines where those terms appear in my notebook server.

Proposed Solution

  • Adding a search function in notebook server to search through all notebooks for specific terms.
@welcome
Copy link

welcome bot commented Oct 5, 2021

Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.
welcome
You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

@krassowski
Copy link
Member

Thanks or opening the issue. I think that #1145 and #3246 cover this already - should we close this one and focus the discussion over there?

@wubr2000
Copy link
Author

wubr2000 commented Oct 5, 2021

Sounds good! Closing.

@wubr2000 wubr2000 closed this as completed Oct 5, 2021
@github-actions github-actions bot added the status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion. label Apr 4, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion.
Projects
None yet
Development

No branches or pull requests

2 participants