Rename old krb5.ini files away
We want to always use a new krb5.ini (and our search order guarantees
that we will), but users might be confused if there is still a file
named krb5.ini in the old location which is now non-functional.
However, it is rude to unconditionally delete the old file which may
potentially be the only copy a user has of their local changes.
Instead, rename the old file to a non-functioning name that indicates
it is no longer being used, so that it may be consulted if needed.
Only attempt the rename if we found an existing krb5.ini, and ignore errors
since this is not a critical part of the installation.
Author: Benjamin Kaduk <firstname.lastname@example.org>
Committer: Ben Kaduk <email@example.com>
src/windows/installer/wix/Makefile | 2 +-
src/windows/installer/wix/kfw.wxs | 14 ++++++++++++++
2 files changed, 15 insertions(+), 1 deletions(-)