Closed ericpre closed 3 years ago
Thanks for reporting the bug @ericpre I pushed a fix using the code from the latest version of the JupyterLab extension tutorial 🤞
Thanks, I have tested the latest release (5.1.1) and this is working fine!
Thanks for the feedback @ericpre
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/
. Startinggator
from the command line works fine.This can be reproduced by uninstalling/installing gator.
Reproduce
mamba_gator
(mamba uninstall mamba_gator
)mamba_gator
(mamba install gator
)Settings
menu, click onConda Package Manager
~/.jupyter/lab/workspaces/
Settings
menu, click onConda Package Manager
Expected behavior
The gator tab should open when clicking on
Conda Package Manager
from theSettings
menu without having to delete the file in~/.jupyter/lab/workspaces/
.Context
Command Line Output
Browser Output