David Revoy on Nostr: npub12f7r2…8lkxh I had no idea that case-insensitive bash completion was even an ...
npub12f7r2gjj0ch84wdh5kg03gkmjyskya6zlxq70cxlk5qm5sysjhuq08lkxh (npub12f7…lkxh) I had no idea that case-insensitive bash completion was even an option.
Years ago, I renamed all my default /home/<username>/ directories to lower case because I always hit a wall with autocompletion of paths with upper case like the default "Download, Public, Pictures, Documents" and that made me change my default ~/.config/user-dirs.dirs with my lower case "download, public, pictures, documents" etc.
If you publish a change proposal, tell them about this maybe.
Years ago, I renamed all my default /home/<username>/ directories to lower case because I always hit a wall with autocompletion of paths with upper case like the default "Download, Public, Pictures, Documents" and that made me change my default ~/.config/user-dirs.dirs with my lower case "download, public, pictures, documents" etc.
If you publish a change proposal, tell them about this maybe.