]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 36ee63d) | patch
lei add-external: completion for existing URL basenames
authorEric Wong <e@80x24.org>
Wed, 3 Feb 2021 08:11:41 +0000 (22:11 -1000)
committerEric Wong <e@80x24.org>
Thu, 4 Feb 2021 01:37:09 +0000 (01:37 +0000)
commit298751baed3ce7ae1549356152784b83220a31f0
tree53aa742d4715ab52f3e08bd37ea47bc0b6460492tree
parent36ee63d30ee076e6f6a8fdeabd50bf6757a3fdd6commit | diff
lei add-external: completion for existing URL basenames

Given the presence of one external on a certain host or prefix
path, it's logical other inboxes would share a common prefix.
For bash users, attempt to complete that using the "-o nospace"
option of bash
contrib/completion/lei-completion.bash diff | blob | history
lib/PublicInbox/LeiExternal.pm diff | blob | history
t/lei.t diff | blob | history
My patches to https://public-inbox.org/public-inbox.git