Skip to content

Conversation

jserv
Copy link
Contributor

@jserv jserv commented Oct 9, 2025

When running menuconfig.py or guiconfig.py for the first time without an existing '.config' file, users were unable to save the default config. The tools would exit without prompting to save.

This matches the behavior of the Linux kernel's 'make menuconfig' and improves the user experience for first-time users.

When running menuconfig.py or guiconfig.py for the first time without an
existing '.config' file, users were unable to save the default config.
The tools would exit without prompting to save.

This matches the behavior of the Linux kernel's 'make menuconfig' and
improves the user experience for first-time users.
@jserv jserv merged commit 3275d4a into main Oct 9, 2025
9 checks passed
@jserv jserv deleted the file-saving branch October 9, 2025 03:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant