home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 3 / Meeting_Pearls_III.iso / Pearls / texmf / source / TeX / trip / ini_to_trip < prev    next >
Text File  |  1994-04-19  |  705b  |  42 lines
  1. #! /bin/csh
  2. # A shell script to perform modifications on the changefile for initex
  3. # to make a changefile for triptex (used to test tex).
  4. #
  5. # To use it, say
  6. #    ini_to_trip initex.ch triptex.ch
  7. #
  8. ed - $1 <<edscriptend
  9. /debug=/
  10. //
  11. s/@{//p
  12. /gubed=/
  13. s/@t@>@}//p
  14. /@!mem_max=/
  15. //
  16. s/[0-9][0-9]*/3000/p
  17. /@!mem_min=/
  18. s/-[0-9]*/1/p
  19. /@!error_line=/
  20. s/[0-9][0-9]*/64/p
  21. /@!half_error_line=/
  22. s/[0-9][0-9]*/32/p
  23. /@!max_print_line=/
  24. s/[0-9][0-9]*/72/p
  25. /@!font_max=/
  26. s/[0-9][0-9]*/75/p
  27. /@!font_mem_size=/
  28. s/[0-9][0-9]*/20000/p
  29. /@!pool_size=/
  30. s/[0-9][0-9]*/32000/p
  31. /@d mem_bot=/
  32. //
  33. s/-[0-9]*/1/p
  34. /@d mem_top==/
  35. s/[0-9][0-9]*/3000/p
  36. /@d hash_size=/
  37. s/[0-9][0-9]*/2100/p
  38. /@d hash_prime=/
  39. s/[0-9][0-9]*/1777/p
  40. w $2
  41. edscriptend
  42.