home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk2.iso / unix / volume20 / opcom / config < prev    next >
Text File  |  1989-10-22  |  789b  |  34 lines
  1. : use /bin/sh
  2.  
  3. # opcom configuration script.
  4. #
  5. # In the first part of this script the directories and the administration
  6. # for opcom are defined.
  7. # Refer to all of these only by the environment variables defined here.
  8.  
  9. #++
  10. # AUTHOR(S)
  11. #
  12. #      C.G.S.M. Braam
  13. #      Eindhoven University of Technology
  14. #      Computing Centre
  15. #      Den Dolech 2, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
  16. # CREATION DATE
  17. #    Thu Jan  5 11:09:45 MET 1989
  18. # LAST MODIFICATION
  19. #    Tue Jan 17 13:15:48 MET 1989
  20. # VERSION/RELEASE
  21. #    1.3
  22. #--
  23.  
  24. #    *** System dependent variables ***
  25.  
  26. OPCOMDIR="/usr/local/lib/opcom"    
  27. COMMANDS="$OPCOMDIR/commands"        # command file
  28. PROFILE="$OPCOMDIR/profile"        # profile
  29.  
  30. #    *** End system dependent variables ***
  31.  
  32. sed 's%XCOMMANDS%'"$COMMANDS"'%g
  33.      s%XPROFILE%'"$PROFILE"'%g' $*
  34.