From: Markus Heidelberg Date: Tue, 26 May 2009 20:31:50 GMT Subject: Re: [PATCH v3] diff: generate prettier filenames when using GIT_EXTERNAL_DIFF Message-ID: <200905262231.50892.markus.heidelberg@web.de> In-Reply-To: <1243316165-99065-1-git-send-email-davvid@gmail.com> David Aguilar, 26.05.2009: > Diffing "name.ext" now generates "name.XXXX.ext". > Diffing files with no extension now generates "name_XXXX". Would it simplify the patch when using "name_XXXX.ext" and "name_XXXX"? Or what about "XXXX_name.ext" and "XXXX_name"? Then you don't even have to search for the dot and it has the advantage to show the original filename without some random letters in the middle of it. Markus