Re: What to do with too-large group ids?

[Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann)]

Richard Stallman <rms@gnu.org> writes:

> You could return large uids as strings.

They might easily be confused for user names in that case.  Also, the
very same function uses the trick of using a cons for the device
number, so it might be an idea to use the same trick for the user id.

But if you prefer, I'll return them as strings and update the
documentation for file-attributes accordingly.  (Something like the
following, wording needs to be changed: If the user id is too large
for an int, it is returned as a string.  This never happens for normal
files, but it might happen when there is a filename handler.)

kai
-- 
A large number of young women don't trust men with beards.  (BFBS Radio)