Patch to sure up Menuconfig HOME expansion

William E. Roadcap (roadcapw@cfw.com)
Thu, 20 Jun 1996 10:00:55 -0400 (EDT)

Sorry guys, I should have done this prior to sending the last patch. This
Menuconfig patch will help prevent problems caused by BASH filename expansion
while still allowing you to specify ~/configfile or $HOME/configfile.

Apply this one after you apply the previously posted patch.
__
William E. Roadcap mailto:roadcapw@cfw.com
TITUS Software ftp://titus.cfw.com/pub
Waynesboro, Va (USA) http://www.cfw.com/~roadcapw
............................................................................
--- linux/scripts/Menuconfig-2.0.1 Thu Jun 20 09:45:10 1996
+++ linux/scripts/Menuconfig Thu Jun 20 09:55:11 1996
@@ -742,6 +742,8 @@
# configuration from it.
#
get_alt_config () {
+ set -f ## Switch file expansion OFF
+
while true
do
ALT_CONFIG="${ALT_CONFIG:-$DEFAULTS}"
@@ -789,6 +791,7 @@
fi
done

+ set +f ## Switch file expansion ON
rm -f help.out MCdialog.out
}

@@ -805,6 +808,8 @@
# configuration to it.
#
save_alt_config () {
+ set -f ## Switch file expansion OFF
+
while true
do
$DIALOG --backtitle "$backtitle" \
@@ -818,7 +823,7 @@
ALT_CONFIG=`cat MCdialog.out`

[ "_" = "_$ALT_CONFIG" ] && break
-
+
if eval touch $ALT_CONFIG 2>/dev/null
then
eval save_configuration $ALT_CONFIG
@@ -849,6 +854,7 @@
fi
done

+ set +f ## Switch file expansion ON
rm -f help.out MCdialog.out
}