diff options
author | Will Dietz <w@wdtz.org> | 2018-06-26 13:06:46 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-10-29 08:45:04 -0500 |
commit | 9f998096d23eab433f47d8dc1ad5eb1e2ff4b667 (patch) | |
tree | 8dbcd0e3facc09252387116c3dcb98caf89ea9dd | |
parent | 3d974d31facefe8eaf59af56b0187e6a63fdd0cc (diff) |
repl: complete if all matches share prefix
-rw-r--r-- | src/nix/repl.cc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/nix/repl.cc b/src/nix/repl.cc index 7ce370770..838aa64ae 100644 --- a/src/nix/repl.cc +++ b/src/nix/repl.cc @@ -132,6 +132,24 @@ static char * completionCallback(char * s, int *match) { auto *res = strdup(possible.begin()->c_str() + strlen(s)); if (!res) throw Error("allocation failure"); return res; + } else if (possible.size() > 1) { + auto checkAllHaveSameAt = [&](size_t pos) { + auto &first = *possible.begin(); + for (auto &p : possible) { + if (p.size() <= pos || p[pos] != first[pos]) + return false; + } + return true; + }; + size_t start = strlen(s); + size_t len = 0; + while (checkAllHaveSameAt(start + len)) ++len; + if (len > 0) { + *match = 1; + auto *res = strdup(std::string(*possible.begin(), start, len).c_str()); + if (!res) throw Error("allocation failure"); + return res; + } } *match = 0; |