From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: Re: Cosmetical change: remove inconsistent "$file ends here"? Date: Sun, 25 Sep 2016 11:38:09 +0200 Message-ID: <20160925113809.7f9cc24f@scratchpost.org> References: <871t09t6f1.fsf@we.make.ritual.n0.is> <87a8ewl6tq.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33223) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bo5t6-0004ZW-O5 for guix-devel@gnu.org; Sun, 25 Sep 2016 05:38:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bo5t3-0005rq-J0 for guix-devel@gnu.org; Sun, 25 Sep 2016 05:38:20 -0400 Received: from dd1012.kasserver.com ([85.13.128.8]:50751) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bo5t3-0005re-By for guix-devel@gnu.org; Sun, 25 Sep 2016 05:38:17 -0400 In-Reply-To: <87a8ewl6tq.fsf@gmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Alex Kost Cc: guix-devel@gnu.org Hi, On Sun, 25 Sep 2016 11:30:41 +0300 Alex Kost wrote: > I don't know what the original purpose of this convention is, That's probably enough reason to remove them. > it was > probably invented in those ancient times when dinosaurs walked by > streets, but I kinda like these "ends here" things :-) > > The only purpose I see in using them: you can be sure that there will > not appear redundant newlines (introduced by untidy commits) in the end > of files. I speculate it's that when you print source code out you know that you are not missing a sheet when you take them with you. Doesn't really serve a purpose now (also, diff tools show you if you forget the newline before the end of file - also many editors do, even nano). That said, touching it at all causes churn - not sure what the upside is.