There are instances when a GUI file manager just won't work. When I run into those situations, there are several terminal-based options I go for.
"Windows File Manager" is a GUI provided for Windows 3.0, and it became the source of "Windows Explorer" later used from Windows 95. Until then, the file copy and deletion etc was done by MS-DOS ...