[Tools-discuss] Re: make fix-lint in windows environment or integrate in github actions?

[Carsten Bormann <[e-mail]>]

On 2024-07-09, at 03:56, Martin Thomson <[e-mail]> wrote:
> 
> On Tue, Jul 9, 2024, at 11:25, Carsten Bormann wrote:
>> On 2024-07-09, at 00:58, Martin Thomson <[e-mail]> wrote:
>>> 
>>> Maybe add a .github/workflows/fix.yml file as follows:
>> 
>> That doesn’t help if the lint prevents me from committing and pushing 
>> things to github in the first place.
> 
> Nothing stops you from pushing.  Yes, this installs a precommit hook, but that is easy to override with `git commit -n`.  

Sure, but is pushing linty stuff into the repo to get fixed, the mode of operation we want to encourage?

> Besides, many people find that the precommit hook is not installed or active on their typical workflows.

(True, it only ever works when it then also gets in the way :-)

Of course, in emacs it’s a simple M-x delete-trailing-whitespace RET, but the commit block still disrupts the flow.  (And don’t forget keeping the default value of mode-require-final-newline and delete-trailing-lines, plus an indent-tabs-mode set to nil.)

Grüße, Carsten