lib/scripts/isa-emacs
changeset 7459 173efad74891
parent 6285 112a15c311f0
child 9789 7e5e6c47c0b5
--- a/lib/scripts/isa-emacs	Fri Sep 03 16:11:53 1999 +0200
+++ b/lib/scripts/isa-emacs	Fri Sep 03 17:52:13 1999 +0200
@@ -20,6 +20,9 @@
   echo "    -u BOOL      use .emacs file (default false)"
   echo
   echo "Starts Emacs and Isamode."
+  echo
+  echo "  ISAMODE_OPTIONS=$ISAMODE_OPTIONS"
+  echo
   exit 1
 }