blob: 89ccab07591d22f92632de54fd41697b9a20b55f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#! /bin/csh
# A shell script to perform modifications on the changefile for initex
# to make a changefile for triptex (used to test tex).
#
# To use it, say
# ini_to_trip initex.ch triptex.ch
#
ed - $1 <<edscriptend
/debug=/
//
s/@{//p
/gubed=/
s/@t@>@}//p
/@!mem_max=/
//
s/[0-9][0-9]*/3000/p
/@!mem_min=/
s/-[0-9]*/1/p
/@!error_line=/
s/[0-9][0-9]*/64/p
/@!half_error_line=/
s/[0-9][0-9]*/32/p
/@!max_print_line=/
s/[0-9][0-9]*/72/p
/@!font_max=/
s/[0-9][0-9]*/75/p
/@!font_mem_size=/
s/[0-9][0-9]*/20000/p
/@!pool_size=/
s/[0-9][0-9]*/32000/p
/@d mem_bot=/
//
s/-[0-9]*/1/p
/@d mem_top==/
s/[0-9][0-9]*/3000/p
/@d hash_size=/
s/[0-9][0-9]*/2100/p
/@d hash_prime=/
s/[0-9][0-9]*/1777/p
w $2
edscriptend
|