Embed Notice

@cassidy 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.