When DISPLAY is set, 'xterm -e "more +$line $name"' quits directly
without waiting for key press.
"less" doesn't have this problem.
- Qian
diff --git a/src/etc/SPADEDIT b/src/etc/SPADEDIT
index be6002f6..1c5cd2d1 100755
--- a/src/etc/SPADEDIT
+++ b/src/etc/SPADEDIT
@@ -6,8 +6,8 @@ if [ $# -eq 0 ]; then
exit
fi
-DEFAULTEDITOR='more +$line $name'
-DEFAULTXEDITOR='xterm -e "more +$line $name"'
+DEFAULTEDITOR='less +$line $name'
+DEFAULTXEDITOR='xterm -e "less +$line $name"'
if [ "$FRICASEDITOR" = "" ] ; then
echo ""
@@ -19,12 +19,12 @@ if [ "$FRICASEDITOR" = "" ] ; then
fi
if [ -z "$DISPLAY" ] ; then
echo "Warning: environment variable FRICASEDITOR not set."
- echo "Using 'more'."
+ echo "Using 'less'."
echo "Press space to continue, 'q' to quit."
FRICASEDITOR=$DEFAULTEDITOR
else
echo "Warning: environment variable FRICASEDITOR not set."
- echo "Launching 'more' in an 'xterm'."
+ echo "Launching 'less' in an 'xterm'."
echo "Press space to continue, 'q' to quit."
FRICASEDITOR=$DEFAULTXEDITOR
fi
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/c5795f05-4616-4da4-9b37-f985e3b6e47e%40gmail.com.
