VLC: How to delete file on disk

So put the file in ~/.local/share/vlc/lua/extensions. I call it DeleteFile.lua.

When you start VLC you get a new menu item: View > Detetefile. It is this last step I was missing.

Edit 20200306

The code did not work very well. I changed it:

https://gitlab.com/ole.tange/tangetools/-/blob/master/wastebasket/dotlocal/share/vlc/lua/extensions/WasteBasket.lua

It now searches for a dir called .waste in the dir of the file and any (grand*)parent dirs, and moves the file there. So you need to create a dir called .waste.

When you start VLC you get a new menu item: View > Move currently playing file into wastebasket.