From owner-freebsd-current@FreeBSD.ORG Tue Aug 3 18:13:00 2010 Return-Path: Delivered-To: freebsd-current@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 4D4EE1065670 for ; Tue, 3 Aug 2010 18:13:00 +0000 (UTC) (envelope-from jamie@FreeBSD.org) Received: from gritton.org (gritton.org [208.92.232.93]) by mx1.freebsd.org (Postfix) with ESMTP id E5F148FC0C for ; Tue, 3 Aug 2010 18:12:59 +0000 (UTC) Received: from guppy.corp.verio.net (fw.oremut02.us.wh.verio.net [198.65.168.24]) (authenticated bits=0) by gritton.org (8.14.3/8.14.3) with ESMTP id o73HwXZp055893; Tue, 3 Aug 2010 11:58:34 -0600 (MDT) (envelope-from jamie@FreeBSD.org) Message-ID: <4C5858BF.7030303@FreeBSD.org> Date: Tue, 03 Aug 2010 11:58:23 -0600 From: Jamie Gritton User-Agent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:1.9.1.5) Gecko/20100103 Thunderbird/3.0 MIME-Version: 1.0 To: FreeBSD Current References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: pluknet Subject: Re: [patch] big whitespace cleanup in sys/kern/* X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 03 Aug 2010 18:13:00 -0000 On 08/03/10 03:34, pluknet wrote: > I looked into sys/kern/* files to fix a bunch of common w/s style issues (221): > - leading space before label; > - leading space(s) before; > - space(s) instead of(s); > - space(s) in blank like. > > I tried to be conservative and didn't touch semi-contrib files and > those with its own style. > Here is a diff I'd like someone look into and check in if there will > no objections. I always understood that is was a style error *not* to have at least some whitespace before a label, that only top-level objects should be pushed all the way to the left column. Style(9) appears to be silent on this issue. - Jamie