From 93715c46a99c96d6c866968312691ec9ab0f6a03 Mon Sep 17 00:00:00 2001
From: jcid <devnull@localhost>
Date: Sun, 7 Oct 2007 00:36:34 +0200
Subject: Initial revision

---
 install-dpi-local | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100755 install-dpi-local

(limited to 'install-dpi-local')

diff --git a/install-dpi-local b/install-dpi-local
new file mode 100755
index 00000000..e843e6c1
--- /dev/null
+++ b/install-dpi-local
@@ -0,0 +1,39 @@
+#!/bin/sh
+#
+# Install the dpi framework programs inside the user's account.
+#
+
+BASE="$HOME/.dillo"
+BASE2="$BASE/dpi"
+
+if [ -r $BASE/dpi_socket_dir ] ; then
+   rm -r `cat $BASE/dpi_socket_dir`
+   rm $BASE/dpi_socket_dir
+fi
+
+if [ ! -x dpid/dpid ] ; then
+   echo "You MUST run this script after make."
+   exit 1
+fi
+
+if [ ! -d $BASE ] ; then
+  mkdir $BASE
+fi
+if [ ! -d $BASE2 ] ; then
+  mkdir $BASE2
+fi
+
+cp dpid/dpid dpid/dpidc $BASE
+strip $BASE/dpid
+
+cd dpi
+for F in *.dpi ; do
+   D="`echo $F | sed 's/\..*$//'`"
+   if [ ! -d $BASE2/$D ] ; then
+      mkdir $BASE2/$D
+   fi
+   cp $F $BASE2/$D
+   strip $BASE2/$D/$F
+done
+cd ..
+
-- 
cgit v1.2.3