blob: 69509d5c3b19991f6c850eec13567a10aaec4766 (
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
42
43
44
45
46
47
|
?RCS: $Id$
?RCS:
?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
?RCS:
?RCS: You may redistribute only under the terms of the Artistic License,
?RCS: as specified in the README file that comes with the distribution.
?RCS: You may reuse parts of this distribution only within the terms of
?RCS: that same Artistic License; a copy of which may be found at the root
?RCS: of the source tree for dist 4.0.
?RCS:
?RCS: $Log: basicshell.U,v $
?RCS: Revision 3.0 1993/08/18 12:05:25 ram
?RCS: Baseline for dist 3.0 netwide release.
?RCS:
?MAKE:basicshell: Getfile Oldconfig bash csh ksh sh
?MAKE: -pick add $@ %<
?S:basicshell:
?S: This variable contains the eventual value of the BASICSHELL symbol,
?S: which contains the full name of the basic script shell on this
?S: system. Usual values are /bin/sh, /bin/ksh, /bin/csh.
?S:.
?C:BASICSHELL:
?C: This symbol contains the full name of the basic script shell on this
?C: system. Usual values are /bin/sh, /bin/ksh, /bin/csh.
?C:.
?H:#define BASICSHELL "$basicshell" /**/
?H:.
: find the most basic shell for scripts
echo " "
case "$basicshell" in
'')
case "$sh $bash $csh $ksh" in
*/sh*) dflt="$sh" ;;
*/ksh*) dflt="$ksh" ;;
*/csh*) dflt="$csh" ;;
*/bash*) dflt="$bash" ;;
*) dflt='/bin/sh' ;;
esac
;;
*)
dflt="$basicshell";;
esac
fn=f
rp="Give the full path name of the most basic shell used on your system"
. ./getfile
basicshell=$ans
|
