Re: Ports with default modeline & lots of mixed tabs with spaces

On 1 Mar 2018, at 13:14, Ryan Schmidt wrote: > What do you mean? > I don't think port lint currently gives whitespace recommendations. And if it > did, port lint still just provides suggestions that must be moderated by > human decisions. I just tried it and it seems

Re: Ports with default modeline & lots of mixed tabs with spaces

On 28 Feb 2018, at 14:58, Ryan Schmidt wrote: > I wouldn't completely change the whitespace of someone else's port, even > after a maintainer timeout. But I would correct whitespace mistakes in > someone else's port after a suitable timeout. Shouldn't port lint be the

Re: Ports with default modeline & lots of mixed tabs with spaces

On Feb 28, 2018, at 02:42, Mojca Miklavec wrote: > I sometimes stumble across ports which contain our default modeline > (claiming the Portfile should not use tabs) and then a weird mixture > of tabs and spaces all over the place. > > When there is no maintainer, I would always fix such a port.