projects / unix-history / blame
| Commit | Line | Data |
|---|---|---|
| 960da368 BJ |
1 | # |
| 2 | # vgrind | |
| 3 | # | |
| 96bba43e | 4 | set b=/usr/lib |
| d86b02dd DP |
5 | set voptions= |
| 6 | set options= | |
| 7 | set files= | |
| ad765208 | 8 | set f='' |
| d86b02dd | 9 | set head="" |
| 960da368 | 10 | top: |
| d86b02dd DP |
11 | if ($#argv > 0) then |
| 12 | switch ($1:q) | |
| 960da368 | 13 | |
| d86b02dd DP |
14 | case -f: |
| 15 | set f='filter' | |
| 16 | set options = "$options $1:q" | |
| 17 | shift | |
| 18 | goto top | |
| ad765208 | 19 | |
| d86b02dd DP |
20 | case -t: |
| 21 | set voptions = "$voptions -t" | |
| 22 | shift | |
| 23 | goto top | |
| 960da368 | 24 | |
| d86b02dd DP |
25 | case -o*: |
| 26 | set voptions="$voptions $1:q" | |
| 27 | shift | |
| 28 | goto top | |
| ad765208 | 29 | |
| d86b02dd DP |
30 | case -W: |
| 31 | set voptions = "$voptions -W" | |
| 32 | shift | |
| 33 | goto top | |
| 34 | ||
| 35 | case -d: | |
| 36 | if ($#argv < 2) then | |
| 37 | echo "vgrind: $1:q option must have argument" | |
| 38 | goto done | |
| 39 | else | |
| 40 | set options = ($options $1:q $2) | |
| 41 | shift | |
| 42 | shift | |
| 43 | goto top | |
| 44 | endif | |
| 45 | ||
| 46 | case -h: | |
| 47 | if ($#argv < 2) then | |
| 48 | echo "vgrind: $1:q option must have argument" | |
| 49 | goto done | |
| 50 | else | |
| 51 | set head="$2" | |
| 52 | shift | |
| 53 | shift | |
| 54 | goto top | |
| 55 | endif | |
| 56 | ||
| 57 | case -*: | |
| 58 | set options = "$options $1:q" | |
| 59 | shift | |
| 60 | goto top | |
| 61 | ||
| 62 | default: | |
| 63 | set files = "$files $1:q" | |
| 64 | shift | |
| 65 | goto top | |
| 66 | endsw | |
| 960da368 BJ |
67 | endif |
| 68 | if (-r index) then | |
| d86b02dd DP |
69 | echo > nindex |
| 70 | foreach i ($files) | |
| 71 | echo "/ $i /d" >> nindex | |
| 72 | end | |
| 73 | sed -f nindex index >xindex | |
| 74 | if ($f == 'filter') then | |
| 75 | if ("$head" != "") then | |
| 76 | $b/vfontedpr $options -h "$head" $files | cat $b/tmac/tmac.vgrind - | |
| ad765208 | 77 | else |
| d86b02dd | 78 | $b/vfontedpr $options $files | cat $b/tmac/tmac.vgrind - |
| a6efa23a | 79 | endif |
| d86b02dd DP |
80 | else |
| 81 | if ("$head" != "") then | |
| 82 | $b/vfontedpr $options -h "$head" $files | \ | |
| 83 | /bin/sh -c "vtroff -rx1 $voptions -i -mvgrind 2>> xindex" | |
| 84 | else | |
| 85 | $b/vfontedpr $options $files | \ | |
| 86 | /bin/sh -c "vtroff -rx1 $voptions -i -mvgrind 2>> xindex" | |
| 87 | endif | |
| 88 | endif | |
| 89 | sort -df +0 -2 xindex >index | |
| 90 | rm nindex xindex | |
| 960da368 | 91 | else |
| d86b02dd DP |
92 | if ($f == 'filter') then |
| 93 | if ("$head" != "") then | |
| 94 | $b/vfontedpr $options -h "$head" $files | cat $b/tmac/tmac.vgrind - | |
| c30aee76 | 95 | else |
| d86b02dd | 96 | $b/vfontedpr $options $files | cat $b/tmac/tmac.vgrind - |
| a6efa23a | 97 | endif |
| d86b02dd DP |
98 | else |
| 99 | if ("$head" != "") then | |
| 100 | $b/vfontedpr $options -h "$head" $files \ | |
| 101 | | vtroff -i $voptions -mvgrind | |
| 102 | else | |
| 103 | $b/vfontedpr $options $files \ | |
| 104 | | vtroff -i $voptions -mvgrind | |
| 105 | endif | |
| 106 | endif | |
| 960da368 | 107 | endif |
| d86b02dd DP |
108 | |
| 109 | done: |