diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-26 11:12:25 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-26 11:12:25 +0200 |
| commit | e0b76903fcee5e1967c6537d423d79c0abf1d7f5 (patch) | |
| tree | 4d13d37bbbe58ed60a56b4f10aab7dcc93bfa4c5 | |
| parent | 28ccc96aebdab61174f667df5a343ba051dacbcf (diff) | |
| download | luaotfload-e0b76903fcee5e1967c6537d423d79c0abf1d7f5.tar.gz | |
[tool] suggest --fuzzy if query fails
| -rwxr-xr-x | luaotfload-tool.lua | 4 |
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 ...") |