Ask coding questions

← Back to all posts
Deleting a folder
bessx

I'm having problems deleting a folder. Whenever I try to delete it, either through the UI or the shell, the plugin crashes. Once repl reloads, the folder is still there. Sometimes it's not visible from the shell, but is visible in the sidebar file tree. Is there any solution for this?

Voters
khaeltod
Scoder12
Vandesm14
bessx
Comments
hotnewtop
PixelNinja

In the shell, after deleting, type kill 1

bessx

@RossJames This helps reload but does not update the left-hand file tree. Missing files are still shown there and either cause crashes or take up space.

PixelNinja

@bessx Ok, hard refresh is probably best then

bessx

@RossJames hard refresh doesn't seem to work either =/

PixelNinja

@bessx R u an explorer?

bessx

@RossJames i explore the bounds of mystery across the wide world we know and love... otherwise I'm not sure?

PixelNinja

@bessx lol, it's a big testing role, I can just fine, is it just a one off or can you not on other repls?

bessx

@RossJames no it's p consistent, it happens on repls all the time. Sometimes the file just deletes itself, and whenever i click the file link in the sidebar, the app crashes. To fix it I usually need to create a file with the same name in the shell, and then right click on it in the sidebar to delete it.

EDIT: for a single file, it's not terrible to do, but for a folder with hundreds of files, it's kind of unmanageable.

Vandesm14

The shell is the true view of the repl. It's their sync issue whenever you delete a file it might not update. I suggest reporting this to https://repl.it/bugs

bessx