Revert "Get rid of unicode quotes (#1140)"

This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There
really is no need for such a massive change...

1 files changed, 3 insertions, 3 deletions

diff --git a/src/download-via-ssh/download-via-ssh.cc b/src/download-via-ssh/download-via-ssh.cc
index 5c4756372afa..ff28a60ff4b0 100644
--- a/src/download-via-ssh/download-via-ssh.cc
+++ b/src/download-via-ssh/download-via-ssh.cc
@@ -85,7 +85,7 @@ static void query(std::pair<FdSink, FdSource> & pipes)
                 std::cout << readLongLong(pipes.second) << std::endl;
             }
         } else
-            throw Error(format("unknown substituter query '%1%'") % cmd);
+            throw Error(format("unknown substituter query ‘%1%’") % cmd);
         std::cout << std::endl;
     }
 }
@@ -132,10 +132,10 @@ int main(int argc, char * * argv)
                 throw UsageError("download-via-ssh: --substitute takes exactly two arguments");
             Path storePath = argv[2];
             Path destPath = argv[3];
-            printError(format("downloading '%1%' via SSH from '%2%'...") % storePath % host);
+            printError(format("downloading ‘%1%’ via SSH from ‘%2%’...") % storePath % host);
             substitute(pipes, storePath, destPath);
         }
         else
-            throw UsageError(format("download-via-ssh: unknown command '%1%'") % arg);
+            throw UsageError(format("download-via-ssh: unknown command ‘%1%’") % arg);
     });
 }