Prevent `Makefile` from being renamed to `Makefile.make` during save #2105

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

antigluten wants to merge 1 commit into CodeEditApp:main from antigluten:anti/prevent-renaming-of-makefile

antigluten commented Aug 22, 2025

Description

Fixes an issue where saving a file like Makefile would sometimes append an unwanted .make extension, resulting in Makefile.make.

Related Issues

closes 🐞 Makefile renamed to 'Makefile.make' randomly #2061

Checklist

I read and understood the contributing guide as well as the code of conduct
The issues this PR addresses are related to each other
My changes generate no new warnings
My code builds and runs on my machine
My changes are all related to the related issue above
I documented my code


          Prevent Makefile from being renamed to Makefile.make during save

67e0e02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet