Re: sort --random-sort

[Jim Meyering]

Paul Eggert <address@hidden> wrote:
...
> As a documentation issue, I'd feel more comfortable calling this a
> "hashed" sort rather than a "random" sort.  Using the word "random"
> has the wrong connotations, since the sort doesn't generate a random
> permutation of the input.  So I would prefer option names like
> --hash-sort and -h.

I'm concerned that `--hash-sort' will not be meaningful to the
vast majority of people who run `man sort' or look at `sort --help'
output.  Although I understand your goal, I think it's too fine a
point for such a sacrifice.