about summary refs log tree commit diff
path: root/src/libmain
diff options
context:
space:
mode:
Diffstat (limited to 'src/libmain')
-rw-r--r--src/libmain/shared.cc18
-rw-r--r--src/libmain/shared.hh6
2 files changed, 12 insertions, 12 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 73087524369f..263e1744c089 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -38,7 +38,7 @@ void printGCWarning()
     if (!gcWarning) return;
     static bool haveWarned = false;
     warnOnce(haveWarned,
-        "you did not specify `--add-root'; "
+        "you did not specify ‘--add-root’; "
         "the result might be removed by the garbage collector");
 }
 
@@ -92,7 +92,7 @@ string getArg(const string & opt,
     Strings::iterator & i, const Strings::iterator & end)
 {
     ++i;
-    if (i == end) throw UsageError(format("`%1%' requires an argument") % opt);
+    if (i == end) throw UsageError(format("‘%1%’ requires an argument") % opt);
     return *i;
 }
 
@@ -214,15 +214,15 @@ void parseCmdLine(int argc, char * * argv,
         else if (arg == "--no-gc-warning")
             gcWarning = false;
         else if (arg == "--option") {
-            ++i; if (i == args.end()) throw UsageError("`--option' requires two arguments");
+            ++i; if (i == args.end()) throw UsageError("‘--option’ requires two arguments");
             string name = *i;
-            ++i; if (i == args.end()) throw UsageError("`--option' requires two arguments");
+            ++i; if (i == args.end()) throw UsageError("‘--option’ requires two arguments");
             string value = *i;
             settings.set(name, value);
         }
         else {
             if (!parseArg(i, args.end()))
-                throw UsageError(format("unrecognised option `%1%'") % *i);
+                throw UsageError(format("unrecognised option ‘%1%’") % *i);
         }
     }
 
@@ -241,7 +241,7 @@ void showManPage(const string & name)
 {
     restoreSIGPIPE();
     execlp("man", "man", name.c_str(), NULL);
-    throw SysError(format("command `man %1%' failed") % name.c_str());
+    throw SysError(format("command ‘man %1%’ failed") % name.c_str());
 }
 
 
@@ -264,13 +264,13 @@ int handleExceptions(const string & programName, std::function<void()> fun)
         return e.status;
     } catch (UsageError & e) {
         printMsg(lvlError,
-            format(error + " %1%\nTry `%2% --help' for more information.")
+            format(error + " %1%\nTry ‘%2% --help’ for more information.")
             % e.what() % programName);
         return 1;
     } catch (BaseError & e) {
         printMsg(lvlError, format(error + "%1%%2%") % (settings.showTrace ? e.prefix() : "") % e.msg());
         if (e.prefix() != "" && !settings.showTrace)
-            printMsg(lvlError, "(use `--show-trace' to show detailed location information)");
+            printMsg(lvlError, "(use ‘--show-trace’ to show detailed location information)");
         return e.status;
     } catch (std::bad_alloc & e) {
         printMsg(lvlError, error + "out of memory");
@@ -306,7 +306,7 @@ RunPager::RunPager()
         if (dup2(toPager.readSide, STDIN_FILENO) == -1)
             throw SysError("dupping stdin");
         execl("/bin/sh", "sh", "-c", pager.c_str(), NULL);
-        throw SysError(format("executing `%1%'") % pager);
+        throw SysError(format("executing ‘%1%’") % pager);
     });
 
     if (dup2(toPager.writeSide, STDOUT_FILENO) == -1)
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh
index c56203daefa2..b662c6ccea96 100644
--- a/src/libmain/shared.hh
+++ b/src/libmain/shared.hh
@@ -46,7 +46,7 @@ template<class N> N getIntArg(const string & opt,
     Strings::iterator & i, const Strings::iterator & end, bool allowUnit)
 {
     ++i;
-    if (i == end) throw UsageError(format("`%1%' requires an argument") % opt);
+    if (i == end) throw UsageError(format("‘%1%’ requires an argument") % opt);
     string s = *i;
     N multiplier = 1;
     if (allowUnit && !s.empty()) {
@@ -56,13 +56,13 @@ template<class N> N getIntArg(const string & opt,
             else if (u == 'M') multiplier = 1ULL << 20;
             else if (u == 'G') multiplier = 1ULL << 30;
             else if (u == 'T') multiplier = 1ULL << 40;
-            else throw UsageError(format("invalid unit specifier `%1%'") % u);
+            else throw UsageError(format("invalid unit specifier ‘%1%’") % u);
             s.resize(s.size() - 1);
         }
     }
     N n;
     if (!string2Int(s, n))
-        throw UsageError(format("`%1%' requires an integer argument") % opt);
+        throw UsageError(format("‘%1%’ requires an integer argument") % opt);
     return n * multiplier;
 }