1410
D or d come on (i.imgur.com)
you are viewing a single comment's thread
view the rest of the comments
[-] muntedcrocodile@lemmy.world 21 points 1 year ago

Doesn't fish basically fix this?

[-] pgp@sh.itjust.works 59 points 1 year ago

This is not a bug, it doesn't need to be fixed.

[-] avonarret1@programming.dev 6 points 1 year ago

It's funny that you're getting down voted for telling the truth. Nothing to be subjective about either. 😅

[-] muntedcrocodile@lemmy.world 2 points 1 year ago
[-] mindbleach@sh.itjust.works 2 points 1 year ago

There are solid technical reasons whenever someone's computer doesn't work the way they expect.

They don't matter.

The software can do what people want, or it can be wrong.

[-] pgp@sh.itjust.works 1 points 1 year ago

Wrong, it does matter. Just because it's not working as you want, doesn't mean it's not working as expected.

[-] mindbleach@sh.itjust.works 1 points 1 year ago

It literally does.

[-] xoggy@programming.dev 15 points 1 year ago

You can set bash or zsh to case-insensitive tab completion as well.

[-] muntedcrocodile@lemmy.world -1 points 1 year ago

Seems like poor configuration either default or not

[-] Astaroth@lemm.ee 2 points 1 year ago* (last edited 1 year ago)

yeah Fish tab completion works, but one thing I've noticed though is that tab completion for wrong case only works if there's no option with the correct case

e.g. if I have Downloads and Downloads2 then d with tab completion will become Downloads, but if I have Downloads and downloads2 it will tab complete to downloads2 and D will complete to Downloads

 

I've been meaning to look through the Fish documentation to see if I can change that and fuzzy search for history but never got around to it

this post was submitted on 02 Oct 2023
1410 points (96.8% liked)

Programmer Humor

19623 readers
1 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS