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.

Sign up for GitHub

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

Jump to bottom

Show hidden files in JupyterLab #3

Closed
fperez opened this issue Nov 25, 2022 · 1 comment · Fixed by #27 or 2i2c-org/infrastructure#2390
Closed

Show hidden files in JupyterLab #3

fperez opened this issue Nov 25, 2022 · 1 comment · Fixed by #27 or 2i2c-org/infrastructure#2390
Assignees
@yuvipanda

Comments

@fperez
Copy link
Contributor

fperez commented Nov 25, 2022

Summary

As of 3.2.0, JupyterLab now has support for displaying hidden files in the file manager. But for the option to appear in the View menu, a server side option must be toggled.

User Stories

I think users of all hubs may benefit from having this option active, as it makes it possible to edit configuration files more easily with the GUI editor, which was otherwise very cumbersome.

Acceptance criteria

The View menu will have a Show Hidden Files menu entry for all users.

ps - this is a copy of this old issue that will be familiar to @yuvipanda :)
yuvipanda added a commit that referenced this issue Dec 2, 2022
@yuvipanda
Allow custom jupyter server config
1f93094 
Fixes #3
@yuvipanda yuvipanda mentioned this issue Dec 2, 2022
Merged
yuvipanda added a commit that referenced this issue Dec 2, 2022
@yuvipanda
Allow custom jupyter server config (#27)
a1bc006 
Fixes #3
@yuvipanda yuvipanda reopened this Dec 2, 2022
@yuvipanda yuvipanda moved this to 📋 Backlog in March 2023 Event Jan 20, 2023
yuvipanda added a commit to yuvipanda/pilot-hubs that referenced this issue Mar 21, 2023
@yuvipanda
Enable showing hidden files in CryoCloud
f16c09d 
Fixes CryoInTheCloud/hub-image#3
@yuvipanda yuvipanda mentioned this issue Mar 21, 2023
Merged
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in March 2023 Event Mar 21, 2023
@fperez
Copy link
Contributor Author

fperez commented Mar 21, 2023

Awesome, thanks a lot @yuvipanda!!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yuvipanda yuvipanda

Labels
None yet
Projects
March 2023 Event
Status: ✅ Done
Milestone
No milestone
2 participants
@yuvipanda @fperez