66d1b3ce10
The _save_old() to return early if <filename> is not file (or symlink to a file). This is simplest alternative to avoid attempt to rename /dev/null (which could succeed). This also keeps fifos (perhaps nonexistent potential usage but this is nicer). If <filename> were directory or socket, after shutil.copyfile(), writing to the file (by caller, _write_config()), would fail. Fixes #31362 Co-authored-by: Marti Bolivar <marti.bolivar@nordicsemi.no> Signed-off-by: Tomi Ollila <tomi.ollila@iki.fi> |
||
|---|---|---|
| .. | ||
| diffconfig | ||
| guiconfig.py | ||
| hardenconfig.py | ||
| hardened.csv | ||
| kconfig.py | ||
| kconfigfunctions.py | ||
| kconfiglib.py | ||
| lint.py | ||
| menuconfig.py | ||