However, it is better to rename the file first and add a new extension at the end. If the system allows you to rename it, you still have a problem and cannot remove it, reboot first and remove it again.
However, it is better to rename the file first and add a new extension at the end. If the system allows you to rename it, you still have a problem and cannot remove it, reboot first and remove it again.