Changeset 085370c in git for factory/fex/runfex

Timestamp:

Mar 11, 1998, 5:11:28 PM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0e083a79e79fdba1836c125232887812195dd9b8

Parents:

d636adca8e47219c329f1d05ef6a4b1712a88b48

Message:

***** merge from branch `factory-gcd' to main trunk


git-svn-id: file:///usr/local/Singular/svn/trunk@1209 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/fex/runfex (modified) (10 diffs)

factory/fex/runfex

@@ -1 +1 @@
 #! /home/schmidt/bin/bash
-# $Id: runfex,v 1.5 1998-02-02 11:00:54 schmidt Exp $
-
-#{{{ docu
-#
-# runfxc - run factory example collection.
+# $Id: runfex,v 1.6 1998-03-11 16:11:28 schmidt Exp $
+
+#{{{ docu
+#
+# runfex - run factory example collection.
 #
 #}}}
@@ -130 +130 @@
 # $1: options how to print data
 # $2: default width to print data
+# $3: name of example/collection
+# $4: note on example/collection
 #
 # Global variables used:
@@ -139 +141 @@
     typeset \
         options="$1" \
+        name="$3" \
+        note="$4" \
         colWidth
 
@@ -149 +153 @@
     while [ -n "$options" ]; do
         case "$options" in
+            (*h*)
+                # do some pretty printing
+                if [ ${#name} -lt 7 ]; then
+                    echo "$name:                $note."
+                elif  [ ${#name} -lt 15 ]; then
+                    echo "$name:        $note."
+                else
+                    echo "$name: $note."
+                fi
+                 options="${options//h/}" ;;
             (*p*) echo "$algChar"
                  options="${options//p/}" ;;
@@ -338 +352 @@
         if [ -n "$debugMode" ]; then
             echo "skipping $exampleName"
-        else
-            warn "skipping $exampleName"
         fi
         return
@@ -423 +435 @@
 
         # print table
-        printData "$algorithmTBOptions" "$TBColWidth"
+        printData "$algorithmTBOptions" "$TBColWidth" "$exampleName" "$exampleNote"
     }
     #}}}
@@ -435 +447 @@
 #
 # runROOptions: options for RO table.  Read from commandline.
-# runNote: comment on run.  Read from commandline.
 # rawCollectionName: collection name with full path
 #
@@ -445 +456 @@
 #}}}
 typeset runROOptions=""
-typeset runNote=""
 typeset rawCollectionName=""
 
@@ -451 +461 @@
 # read options
 typeset opt
-while getopts "n:a:c:C:t:r:d" opt; do
+while getopts "a:c:C:t:r:d" opt; do
     case "$opt" in
-        (n)  runNote="$OPTARG" ;;
         (a)  runOptions="$runOptions -a$OPTARG" ;;
         (c)  runOptions="$runOptions -c$OPTARG" ;;
@@ -518 +527 @@
         options="${options//tcrd/}"
 
-        printData "$options" "$ROColWidth"
+        printData "$options" "$ROColWidth" "$collectionName" "$collectionNote"
     }
 fi