…default in Linux. #1478
When fetching a repository with the same name as an old repo, the .tmp folder may have read-only files left in it which it cannot delete. This change provides a message to the user about it. It may be possible to further extend this to make such files writable, but leaving it up to the user may be the safest option.
…om sleep. Closes #1387
Syntax Error corrected.
Missing dependency, will not compile
…on. Closes #1425