On 04/12/2014 11:56 AM, Raphaël Pinson wrote:
>
> In lenses/krb5.aug:
>
> > @@ -22,6 +22,7 @@ let closebr = del /[ \t]*\}/ "}"
> >  *)
> >
> >  let realm_re = /[A-Z][.a-zA-Z0-9-]*/
> > +let realm_anycase_re = /[A-Za-z][.a-zA-Z0-9-]*/
>
> Is there a reason for not replacing |realm_re| instead?
>
>
There is: realm_re is also used in the [appdefaults] section. Replacing 
it entirely will change it there as well.
That would mean that the parser can no longer in that section 
distinguish between apps and realms. And that would break backward 
compatibility.
IMHO, it *shouldn't* distinguish. The rule that realms be upper and apps 
be lower case is artificial. But I'd like to see this change in Trusty. 
So I used this compromise.

To fix the lens entirely, I would also need to figure out how to get a 
list of known realms so far from the lens, and use that list to 
recognize realms as such in the [appdefaults] section. That's beyond me 
right now.