Selamünaleyküm,
1- Klasik olarak CMD + back denedim. Baktım ki, çöp kutusuna gidiyor ama oradan silinmiyor.
Bu hatayı veriyor. E iyi tamam ben de farklı bir yol deneyim dedim.
2- Terminal üzerinden dosya adını değiştirip dosyayı komut ile (rm -r <dosyaismi> ile silmeye çalıştım o da sonuç...