@@ -6,7 +6,10 @@
# This will make the transition for the user more convenient.
#
# When adding legacy symbols to this file, add them to the front. The oldest
-# symbols will be removed again after at least five years.
+# symbols will be removed again after at least five years. When removing symbols,
+# ensure there is nothing that still uses them (like legacy defaults):
+# syms="$(git diff |sed -r -e '/^-config ([^[:space:]]+)$/!d; s//\1/')"
+# for sym in ${syms}; do git --no-pager grep ${sym}; done
#
# The symbol should be copied as-is from the place where it was previously
# defined, but the help text should be removed or replaced with something that
Legacy options might still be in use, for example as a legacy default (e.g. as a string default, or as a choice default). So, when we eventually remove legacy options, we must ensure they are no longer used. Add a small shell snippet to make that easy. Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr> --- Config.in.legacy | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-)