> "PE" == Paul Eggert writes:
PE> On 6/17/19 8:12 AM, Pádraig Brady wrote:
PE> I prefer the current ("maddening") behavior, as it gives the reader a
PE> useful signal that the user is numeric rather than textual. This is
PE> particularly important when a user name consists entirely of
> "PB" == Pádraig Brady writes:
PB> to know if it was a common issue, as I've not encountered it at least.
Well as the anbox Android emulator could possibly become very popular,
ls should be ready for a big influx of numeric ids.
On 6/17/19 8:12 AM, Pádraig Brady wrote:
Patch attached to do as described above
I prefer the current ("maddening") behavior, as it gives the reader a
useful signal that the user is numeric rather than textual. This is
particularly important when a user name consists entirely of digits,
On 17/06/19 15:06, Pádraig Brady wrote:
> On 15/06/19 03:35, Dan Jacobson wrote:
>> Some files might only have numeric user ids,
>>
>> # ls -l
>> -rw-r--r-- 1 777 root 0 06-15 10:14 a
>> -rw-r--r-- 1 root 77 0 06-15 10:11 b
>> -rw-r--r-- 1 root root 0 06-15 10:12 c
>> -rw-r--r-- 1 root
On 15/06/19 03:35, Dan Jacobson wrote:
> Some files might only have numeric user ids,
>
> # ls -l
> -rw-r--r-- 1 777 root 0 06-15 10:14 a
> -rw-r--r-- 1 root 77 0 06-15 10:11 b
> -rw-r--r-- 1 root root 0 06-15 10:12 c
> -rw-r--r-- 1 root777 0 06-15 10:12 d
I guess the numeric IDs