diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-19 03:07:47 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-19 03:07:47 +0200 |
| commit | 50ded1daebc6cc7e133ac02912fd184aba5f642d (patch) | |
| tree | 6871bdc2f5ca7662c85d467d0312ba75d9bc3260 /oldconfig.py | |
| parent | aed7b408e777e369e6f464a8c2237d3c0504beab (diff) | |
Make .config.old easier to discover
Mention that the old version of an overwritten configuration file is
saved to <filename>.old in a few different places, to make it easier to
discover.
Diffstat (limited to 'oldconfig.py')
| -rwxr-xr-x | oldconfig.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/oldconfig.py b/oldconfig.py index 4379dcf..387b42e 100755 --- a/oldconfig.py +++ b/oldconfig.py @@ -14,6 +14,9 @@ Implements oldconfig functionality. The default input/output filename is '.config'. A different filename can be passed in the KCONFIG_CONFIG environment variable. +When overwriting a configuration file, the old version is saved to +<filename>.old (e.g. .config.old). + Entering '?' displays the help text of the symbol/choice, if any. Unlike 'make oldconfig', this script doesn't print menu titles and comments, |