Re:The AGENTS.md Standard: A simple, open format for guiding...
by Timwi on Wednesday August 20, 2025 @10:44AM
(#44962429)
That's really more the fault of the tab completion. There's no reason why it couldn't complete `prog` to `Programs`. It's just Unix tradition that they don't. I would prefer if they did.
Re:The AGENTS.md Standard: A simple, open format for guiding...
by fragmede on Wednesday August 20, 2025 @12:26PM
(#44963354)
In ~/.inputrc, add
set completion-ignore-case on
to enable case insensitive tab completion in bash.
Re:The AGENTS.md Standard: A simple, open format for guiding...
by Gracana on Wednesday August 20, 2025 @01:15PM
(#44963836)
Great tip! Apparently that's readline's config file, so this will affect a lot of things. That's great news for me; after switching to zsh I got used to case-insensitive tab completion, and now it annoys me when other tools don't work that way. This should help a lot.
/Programs with its ten keystrokes is over twice the keystrokes of /bin and its four. Short names are quicker to type and require less effort. Given that to a first approximation I spend my entire life typing on a keyboard, I very much wish to optimise that experience.