summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-08-26 11:12:25 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-08-26 11:12:25 +0200
commite0b76903fcee5e1967c6537d423d79c0abf1d7f5 (patch)
tree4d13d37bbbe58ed60a56b4f10aab7dcc93bfa4c5
parent28ccc96aebdab61174f667df5a343ba051dacbcf (diff)
downloadluaotfload-e0b76903fcee5e1967c6537d423d79c0abf1d7f5.tar.gz
[tool] suggest --fuzzy if query fails
-rwxr-xr-xluaotfload-tool.lua4
1 files changed, 3 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index faa5f10..c4670e8 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -859,7 +859,9 @@ actions.query = function (job)
end
else
logs.names_report(false, 0,
- "resolve", "Cannot find %q.", query)
+ "resolve", "Cannot find %q in index.", query)
+ logs.names_report(false, 0,
+ "resolve", "Hint: use the --fuzzy option to display suggestions.", query)
if job.fuzzy == true then
logs.names_report(false, 0,
"resolve", "Looking for close matches, this may take a while ...")