dist/U/basicshell.U

   1 ?RCS: $Id: basicshell.U 1 2006-08-24 12:32:52Z rmanfredi $
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   6 ?RCS: as specified in the README file that comes with the distribution.
   7 ?RCS: You may reuse parts of this distribution only within the terms of
   8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 4.0.
  10 ?RCS:
  11 ?RCS: $Log: basicshell.U,v $
  12 ?RCS: Revision 3.0  1993/08/18  12:05:25  ram
  13 ?RCS: Baseline for dist 3.0 netwide release.
  14 ?RCS:
  15 ?MAKE:basicshell: Getfile Oldconfig bash csh ksh sh
  16 ?MAKE:  -pick add $@ %<
  17 ?S:basicshell:
  18 ?S:     This variable contains the eventual value of the BASICSHELL symbol,
  19 ?S:     which contains the full name of the basic script shell on this
  20 ?S:     system.  Usual values are /bin/sh, /bin/ksh, /bin/csh.
  21 ?S:.
  22 ?C:BASICSHELL:
  23 ?C:     This symbol contains the full name of the basic script shell on this
  24 ?C:     system.  Usual values are /bin/sh, /bin/ksh, /bin/csh.
  25 ?C:.
  26 ?H:#define BASICSHELL "$basicshell"             /**/
  27 ?H:.
  28 : find the most basic shell for scripts
  29 echo " "
  30 case "$basicshell" in
  31 '')
  32         case "$sh $bash $csh $ksh" in
  33         */sh*) dflt="$sh" ;;
  34         */ksh*) dflt="$ksh" ;;
  35         */csh*) dflt="$csh" ;;
  36         */bash*) dflt="$bash" ;;
  37         *) dflt='/bin/sh' ;;
  38         esac
  39         ;;
  40 *)
  41         dflt="$basicshell";;
  42 esac
  43 fn=f
  44 rp="Give the full path name of the most basic shell used on your system"
  45 . ./getfile
  46 basicshell=$ans
  47