0
|
1 #!/bin/sh
|
|
2 #
|
|
3 # Install the dpi framework programs inside the user's account.
|
|
4 #
|
|
5
|
|
6 BASE="$HOME/.dillo"
|
|
7 BASE2="$BASE/dpi"
|
|
8
|
|
9 if [ -r $BASE/dpi_socket_dir ] ; then
|
|
10 rm -r `cat $BASE/dpi_socket_dir`
|
|
11 rm $BASE/dpi_socket_dir
|
|
12 fi
|
|
13
|
|
14 if [ ! -x dpid/dpid ] ; then
|
|
15 echo "You MUST run this script after make."
|
|
16 exit 1
|
|
17 fi
|
|
18
|
|
19 if [ ! -d $BASE ] ; then
|
|
20 mkdir $BASE
|
|
21 fi
|
|
22 if [ ! -d $BASE2 ] ; then
|
|
23 mkdir $BASE2
|
|
24 fi
|
|
25
|
|
26 cp dpid/dpid dpid/dpidc $BASE
|
|
27 strip $BASE/dpid
|
|
28
|
|
29 cd dpi
|
|
30 for F in *.dpi ; do
|
|
31 D="`echo $F | sed 's/\..*$//'`"
|
|
32 if [ ! -d $BASE2/$D ] ; then
|
|
33 mkdir $BASE2/$D
|
|
34 fi
|
|
35 cp $F $BASE2/$D
|
|
36 strip $BASE2/$D/$F
|
|
37 done
|
|
38 cd ..
|
|
39
|