I plan to apply the following patch to fricas script. With
the patch 'disabling ...' messages are not printed when
hyperdoc or graphics are explicitely disables. Also,
there is no 'disabling ...' messages with '--version'.
--
Waldek Hebisch
--
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/ZQXgDnkiABdi2RZw%40mail.math.uni.wroc.pl.
--- src_orig/etc/fricas 2023-09-16 13:45:59.374923721 +0000
+++ src/etc/fricas 2023-09-16 15:49:32.922597551 +0000
@@ -128,16 +135,8 @@
otheropts=""
-if [ ! -f $FRICAS/lib/viewman ] ; then
- echo "viewman not present, disabling graphics"
- otheropts="-nogr"
-fi
-
-if [ ! -f $FRICAS/bin/hypertex ]; then
- echo "hypertex not present, disabling"
- otheropts="$otheropts -noht"
-fi
-
+had_nogr=false
+had_noht=false
while [ "$*" != "" ] ; do
opt=$1
@@ -171,7 +170,20 @@
otheropts="$otheropts $1 $2"
shift
;;
- -clef|-noclef|-gr|-nogr|-ht|-noht|-iw|-noiw|-ihere|-noihere|-nox)
+ -nogr)
+ had_nogr=true
+ otheropts="$otheropts $1"
+ ;;
+ -noht)
+ had_noht=true
+ otheropts="$otheropts $1"
+ ;;
+ -nox)
+ had_nogr=true
+ had_noht=true
+ otheropts="$otheropts $1"
+ ;;
+ -clef|-noclef|-gr|-ht|-iw|-noiw|-ihere|-noihere)
otheropts="$otheropts $1"
;;
-rl)
@@ -200,6 +212,16 @@
shift
done
+if [ $had_nogr != true -a ! -f $FRICAS/lib/viewman ] ; then
+ echo "viewman not present, disabling graphics"
+ otheropts="$otheropts -nogr"
+fi
+
+if [ $had_noht != true -a ! -f $FRICAS/bin/hypertex ]; then
+ echo "hypertex not present, disabling"
+ otheropts="$otheropts -noht"
+fi
+
# 3. List the available workspaces, if asked
listwspaces()
