• 0 Posts
  • 7 Comments
Joined 1 year ago
cake
Cake day: August 16th, 2023

help-circle
  • would it not be usable to have completion be case insensitive? I seem to be able to use that… if I only remember “something with down”, I could just as easily forget the capitalization of “down”. maybe I have downloads and Down? why not show everything matching case insensitively and let the user decide what’s the correct one?

    I didn’t really understand what you thought the regex did incorrectly, but I think the regex works fine, at least for most implementations, anyways what I meant is just a case insensitive version of the regular substring completion, which shouldn’t be too difficult to make.

    The only thing it solves is the frustration of having to look for a file/directory twice because you didn’t remember it’s capitalization. again, those are different characters just like a do and downloads are different strings, but it can be easier for users if they can just press tab and let the computer fill the part of the name the don’t remember (or don’t want to type).

    you don’t need an advanced algorithm or and AI, there are many easy ways to make completion case insensitive (like that regex for example). Issues involving names are inherently somewhat linguistic, but either way interactive shells are meant to be (at least somewhat) usable to humans, and as seen by the post, some people would prefer completion to be case insensitive.





  • lemmonade@lemm.eetoWorld News@lemmy.ml*Permanently Deleted*
    link
    fedilink
    arrow-up
    19
    arrow-down
    5
    ·
    edit-2
    1 year ago

    statements of the israeli police about this:

    1. the victim was being arrested for drug crimes when this incident happened (not for a violent crime as far as I know).
    2. according to the israeli police, the cameras on the 16 officers where off because of a “technical error”.
    3. the extreme violence applied to the the victim by the 16 armed officers was necessary to restrain him, because he acted violently.
    4. the star-of-david-shaped injury was caused from the shoelaces on an officer’s shoe, which means that at some point the officer’s foot was either pressed hard against the victim’s face, or they kicked the victim’s face.

    source (in hebrew, includes an image of some of the victims wounds and an image of the shoelaces)

    I do find it beliveable that the star of david was unintentional (the actual shape, not the kick to the face), which of course doesn’t make this case any more justified, but it wouldn’t suprise me that much if it was intentional.