chiark / gitweb /
Fix output formatting a little.
authormdw <mdw>
Thu, 23 Sep 2004 14:08:21 +0000 (14:08 +0000)
committermdw <mdw>
Thu, 23 Sep 2004 14:08:21 +0000 (14:08 +0000)
elite-tantalus

index 8a29191..478d5ba 100755 (executable)
@@ -7,7 +7,7 @@ package require "vector" "1.0.0"
 package require "graph" "1.0.0"
 
 set gg {1 2 3 4 5 6 7 8}
-set maxdist 80
+set maxdist 100
 set minratio 10
 
 for {set i 0} {$i < [llength $argv]} {incr i} {
@@ -69,7 +69,9 @@ foreach g $gg {
       set dd [$lv get $i $j]
       set r [expr {$dd/"$d.0"}]
       if {$r >= $minratio} {
-       puts "$g: [worldname $w] -> [worldname $ww]: $d $dd ($r)"
+       puts [format "%14s %-8s -> %-8s %5.1f %5.1f (%5.1f)" \
+                 $g [worldname $w] [worldname $ww] \
+                 [expr {$d/10.0}] [expr {$dd/10.0}] $r]
       }
     }
   }