You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Deleting a file that was created in the terminal works as expected. But deleting a file that was added to the deployment via jupyter lite --contents does not work:
The same happens with a mv command such as mv months.txt other.txt. The target file other.txt is created but the original file months.txt remains.
The text was updated successfully, but these errors were encountered:
Deleting a file that was created in the terminal works as expected. But deleting a file that was added to the deployment via
jupyter lite --contents
does not work:The same happens with a
mv
command such asmv months.txt other.txt
. The target fileother.txt
is created but the original filemonths.txt
remains.The text was updated successfully, but these errors were encountered: