Closed
Description
Description
When updating to the latest version of gator, I noticed that the gator
tab will not be displayed in the jupyterlab unless I manually delete the file in ~/.jupyter/lab/workspaces/
.
Starting gator
from the command line works fine.
This can be reproduced by uninstalling/installing gator.
Reproduce
- Uninstall
mamba_gator
(mamba uninstall mamba_gator
) - Install
mamba_gator
(mamba install gator
) - Open jupyterlab
- Go to
Settings
menu, click onConda Package Manager
- Nothing happen: no error and the gator tab is not displayed!
- Close jupyterlab
- Delete the file in
~/.jupyter/lab/workspaces/
- Open jupyterlab
- Go to
Settings
menu, click onConda Package Manager
- The gator tab is displayed!
Expected behavior
The gator tab should open when clicking on Conda Package Manager
from the Settings
menu without having to delete the file in ~/.jupyter/lab/workspaces/
.
Context
- Python package version: 5.1.0
- Extension version: 3.0.0
- General information:
Command Line Output
Paste the output from your command line running `jupyter lab` here, use `--debug` if possible.
Browser Output
Paste the output from your browser Javascript console here.
Metadata
Metadata
Assignees
Labels
No labels