From c8ae7164e502b585843c584af65f78f67002830e Mon Sep 17 00:00:00 2001 From: Araq Date: Sat, 11 Feb 2017 00:24:22 +0100 Subject: [PATCH] finish.nim: user has multiple chances to move .7z file to proper location --- tools/finish.nim | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/finish.nim b/tools/finish.nim index a9fb444a0..e39062b02 100644 --- a/tools/finish.nim +++ b/tools/finish.nim @@ -209,6 +209,9 @@ proc main() = of Manual: echo "After download, move it to: ", dest if askBool("Download successful? (y/n) "): + while not fileExists("dist" / mingw): + echo "could not find: ", "dist" / mingw + if not askBool("Try again? (y/n) "): break if unzip(): retry = true of Failure: discard of Success: