Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Unable to delete file in IDE

See original GitHub issue

code-server version: Can’t find version number, pulled from codercom/code-server:latest
OS Version: Linux alpha 4.15.0-46-generic x86_64 x86_64 x86_64 GNU/Linux
Docker Version: Docker version 18.09.3, build 774a1f4

Steps to Reproduce

Start coder IDE
Make a file
Right click the file
Click Delete
In the popup menu, click move to trash
refresh the webpage and you see the file is back

Workaround

use the rm command from terminal

Issue Analytics

State:
Created 5 years ago
Comments:7 (5 by maintainers)

Top GitHub Comments

4reactions

sujunmincommented, Mar 9, 2019

Hi, I found this problem can be fixed temporarily by changing file delete in setting. Uncheck send the deleted file to trash bin and you will see the delete option change to permanently delete, and the file will be gone when you select the permanently delete.

2reactions

sujunmincommented, Mar 13, 2019

Probably fixed by e1dc696.

Can confirm it works, and the Trash Bin will be at ~/.local/share/Trash/files (debian stretch), maybe this issue could be closed.

Top Results From Across the Web

Unable to delete a file · Issue #49 · cs50/ide-issues - GitHub

I closed the file and then tried deleting it. I used the rm command to delete the file but it does not work...

Unable to delete files - Visual Studio Feedback

Run handle.exe <path to directory that cannot be deleted> (e.g. if you want to delete c:\foo\bar.txt, try handle.exe c:\foo); Any active handles under...

Visual Studio Publish Failed: "Unable to delete file ... Access ...

Open explorer and find the c:\code folder · Right click on the c:\code folder and select properties · select the security tab ·...

Can't delete files by rm? – IDEs Support (IntelliJ Platform)

At my terminal I deleted a few files in my git project, then in PyCharm's changelist, I saw these files are displayed as...

Unable to delete a directory within web IDE - GitLab.org

Create a new directory or select an existing directory · Select Web IDE · From dropdown next to directory name, select "Delete" ·...