GNU bug report logs - #55056
[PATCH] Delete temporary Flymake Elisp files

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 55056 in the body.
You can then email your comments to 55056 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Philip Kaludercic <philipk <at> posteo.net>
To: bug-gnu-emacs <at> gnu.org
Subject: [PATCH] Delete temporary Flymake Elisp files
Date: Thu, 21 Apr 2022 16:42:05 +0000

[Message part 1 (text/plain, inline)]

Tags: patch


My temporary directory appears to always be littered with flymake files.
The reason for this appears to be that the Elisp Flymake backend doesn't
always clean up after itself, when it should.  In the worst case I can
run out of space and that can mess up a lot of things on a system.

The below patch adds a check to the sentinel to do so.  I was a bit
paranoid and considered more process-states that might be necessary, but
I hope that someone with a better understanding of the process interface
will be able to help here.

In GNU Emacs 29.0.50 (build 7, x86_64-pc-linux-gnu, GTK+ Version 2.24.33, cairo version 1.16.0)
 of 2022-04-18 built on icterid
Repository revision: 7b1881682bfbd1ff83d47b88fa8cca22c0290c17
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12011000
System Description: Debian GNU/Linux 11 (bullseye)

Configured using:
 'configure --with-native-compilation --with-cairo --with-harfbuzz
 LDFLAGS=-flto 'CFLAGS=-march=native -mtune=native -pipe''

[0001-Delete-temporary-Flymake-Elisp-files-every-time-a-pr.patch (text/patch, attachment)]

[Message part 3 (text/plain, inline)]

-- 
	Philip Kaludercic

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Philip Kaludercic <philipk <at> posteo.net>
Cc: 55056 <at> debbugs.gnu.org,
 João Távora <joaotavora <at> gmail.com>
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Fri, 22 Apr 2022 13:43:38 +0200

Philip Kaludercic <philipk <at> posteo.net> writes:

> The below patch adds a check to the sentinel to do so.  I was a bit
> paranoid and considered more process-states that might be necessary, but
> I hope that someone with a better understanding of the process interface
> will be able to help here.

[...]

> +          (when (memq (process-status proc) '(failed closed signal))
> +            (message "Elisp flymake [%s]: %S" (buffer-file-name) (process-status proc))
> +            (ignore-errors (delete-file temp-file))
> +            (kill-buffer output-buffer)))

I'm not very familiar with the flymake machinery, but isn't the problem
a bit further up?  That is:

        :sentinel
        (lambda (proc _event)
          (when (eq (process-status proc) 'exit)

Shouldn't that just be (unless (process-live-p proc) ...)?

Perhaps João has a comment; added to the CCs.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

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

From: João Távora <joaotavora <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: Philip Kaludercic <philipk <at> posteo.net>, 55056 <at> debbugs.gnu.org
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Fri, 22 Apr 2022 12:57:57 +0100

[Message part 1 (text/plain, inline)]

Lars, your idea sounds pretty reasonable to me.  In fact, you recently
touched
the Ruby backend example checker in the manual.

commit f5b4bb4a6fa3adcb653cab5dc760745b896320bb
Author: Lars Ingebrigtsen <larsi <at> gnus.org>
Date:   Mon Oct 25 01:25:13 2021 +0200

    Fix flymake example backend conditions in the manual

    * doc/misc/flymake.texi (An annotated example backend): Also react
    to `signal' process statuses (bug#51380).

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -777,1 +777,1 @@
-          (when (eq 'exit (process-status proc))
+          (when (memq (process-status proc) '(exit signal))

The only question is why both I and you didn't venture to just use
process-live-p
back then as you propose now.  Because it seems to make sense. I personally
can't recall a reason other than my ignorance/oversight,  but maybe you can?

João

On Fri, Apr 22, 2022 at 12:43 PM Lars Ingebrigtsen <larsi <at> gnus.org> wrote:

> Philip Kaludercic <philipk <at> posteo.net> writes:
>
> > The below patch adds a check to the sentinel to do so.  I was a bit
> > paranoid and considered more process-states that might be necessary, but
> > I hope that someone with a better understanding of the process interface
> > will be able to help here.
>
> [...]
>
> > +          (when (memq (process-status proc) '(failed closed signal))
> > +            (message "Elisp flymake [%s]: %S" (buffer-file-name)
> (process-status proc))
> > +            (ignore-errors (delete-file temp-file))
> > +            (kill-buffer output-buffer)))
>
> I'm not very familiar with the flymake machinery, but isn't the problem
> a bit further up?  That is:
>
>         :sentinel
>         (lambda (proc _event)
>           (when (eq (process-status proc) 'exit)
>
> Shouldn't that just be (unless (process-live-p proc) ...)?
>
> Perhaps João has a comment; added to the CCs.
>
> --
> (domestic pets only, the antidote for overdose, milk.)
>    bloggy blog: http://lars.ingebrigtsen.no
>


-- 
João Távora

[Message part 2 (text/html, inline)]

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: João Távora <joaotavora <at> gmail.com>
Cc: Philip Kaludercic <philipk <at> posteo.net>, 55056 <at> debbugs.gnu.org
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Fri, 22 Apr 2022 14:37:47 +0200

João Távora <joaotavora <at> gmail.com> writes:

> The only question is why both I and you didn't venture to just use
> process-live-p back then as you propose now.  Because it seems to make
> sense. I personally can't recall a reason other than my
> ignorance/oversight, but maybe you can?

Possibly because it's "new" -- process-live-p is from 2011, I think.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: João Távora <joaotavora <at> gmail.com>
Cc: Philip Kaludercic <philipk <at> posteo.net>, 55056 <at> debbugs.gnu.org
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Sat, 23 Apr 2022 14:53:16 +0200

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

>> The only question is why both I and you didn't venture to just use
>> process-live-p back then as you propose now.  Because it seems to make
>> sense. I personally can't recall a reason other than my
>> ignorance/oversight, but maybe you can?
>
> Possibly because it's "new" -- process-live-p is from 2011, I think.

So I've now done this change in Emacs 29.  Philip, does it fix the
issues you were seeing?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

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

From: Philip Kaludercic <philipk <at> posteo.net>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 55056 <at> debbugs.gnu.org,
 João Távora <joaotavora <at> gmail.com>
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Mon, 25 Apr 2022 07:34:17 +0000

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Lars Ingebrigtsen <larsi <at> gnus.org> writes:
>
>>> The only question is why both I and you didn't venture to just use
>>> process-live-p back then as you propose now.  Because it seems to make
>>> sense. I personally can't recall a reason other than my
>>> ignorance/oversight, but maybe you can?
>>
>> Possibly because it's "new" -- process-live-p is from 2011, I think.
>
> So I've now done this change in Emacs 29.  Philip, does it fix the
> issues you were seeing?

Yes, I can confirm that this solves the issue as well!

-- 
	Philip Kaludercic

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Philip Kaludercic <philipk <at> posteo.net>
Cc: 55056 <at> debbugs.gnu.org,
 João Távora <joaotavora <at> gmail.com>
Subject: Re: bug#55056: [PATCH] Delete temporary Flymake Elisp files
Date: Mon, 25 Apr 2022 09:42:22 +0200

Philip Kaludercic <philipk <at> posteo.net> writes:

> Yes, I can confirm that this solves the issue as well!

Thanks for checking; I'm closing this bug report, then.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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