annotate install-dpi-local @ 1103:94b9265663f6

New utility function: a_Utf8_end_of_char()
author corvid <corvid@lavabit.com>
date Sun, 17 May 2009 12:04:13 -0400
parents 6ee11bf9e3ea
children 210b6c9820b0
rev   line source
0
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
1 #!/bin/sh
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
2 #
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
3 # Install the dpi framework programs inside the user's account.
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
4 #
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
5
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
6 BASE="$HOME/.dillo"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
7 BASE2="$BASE/dpi"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
8
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
9 if [ -r $BASE/dpi_socket_dir ] ; then
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
10 rm -r `cat $BASE/dpi_socket_dir`
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
11 rm $BASE/dpi_socket_dir
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
12 fi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
13
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
14 if [ ! -x dpid/dpid ] ; then
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
15 echo "You MUST run this script after make."
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
16 exit 1
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
17 fi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
18
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
19 if [ ! -d $BASE ] ; then
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
20 mkdir $BASE
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
21 fi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
22 if [ ! -d $BASE2 ] ; then
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
23 mkdir $BASE2
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
24 fi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
25
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
26 cp dpid/dpid dpid/dpidc $BASE
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
27 strip $BASE/dpid
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
28
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
29 cd dpi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
30 for F in *.dpi ; do
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
31 D="`echo $F | sed 's/\..*$//'`"
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
32 if [ ! -d $BASE2/$D ] ; then
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
33 mkdir $BASE2/$D
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
34 fi
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
35 cp $F $BASE2/$D
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
36 strip $BASE2/$D/$F
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
37 done
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
38 cd ..
6ee11bf9e3ea Initial revision
jcid
parents:
diff changeset
39