+# Bash variables and options.
+# Some of these are (now) the default but listed for completeness.
+#
+
+# Allow ^D to exit the shell.
+set +o ignoreeof
+
+# vi keys. Not needed if .inputrc is handled properly.
+set -o vi
+
+# Don't cache missing PATH entries.
+shopt -s checkhash
+
+# Don't wait for SIGWINCH.