When clicking ctrl-c to abort pkgdev manifest, the (incomplete) file being downloaded will be stored with a normal file name, indistinguishable from the normal downloaded file. I can only use pkgdev manifest -f to download again. At the same time, pkgdev manifest will not display the file name of the file being downloaded when downloading the file. If someone use curl as the fetch command ( recently I got some 403 error when using wget to download from github ) , it is unable to tell which file is currently being downloaded.