GNU bug report logs - #53837
[PATCH] gnu: Remove leftover patch files.

Previous Next

Full log

Message #17 received at 53837 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Julien Lepiller <julien <at> lepiller.eu>, 53837 <at> debbugs.gnu.org
Subject: Re: bug#53837: [PATCH] gnu: Remove leftover patch files.
Date: Wed, 9 Feb 2022 11:45:19 -0500

On Wed, Feb 09, 2022 at 11:48:37AM +0100, Ludovic Courtès wrote:
> Perhaps you can share the script that you used?  That way we can review
> the script rather than its output.  :-)

Sure, I did this:

`find gnu/packages/patches | while read patch; do git grep ${patch##gnu/packages/patches/} gnu/packages >/dev/null || echo "${patch##gnu/packages/patches/} is leftover?"; done`

I figure it could cause a problem if a patch file was used somewhere
besides 'gnu/packages', or if the patch file name was "constructed".

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.