From c95b0e80998b98d8487533c3146fa433076018f5 Mon Sep 17 00:00:00 2001
From: Martin Nilsson <mani@lysator.liu.se>
Date: Wed, 1 May 2002 03:49:18 +0200
Subject: [PATCH] That didn't go as well as expected.

Rev: bin/install_module:1.4
---
 bin/install_module | 62 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 62 insertions(+)
 create mode 100755 bin/install_module

diff --git a/bin/install_module b/bin/install_module
new file mode 100755
index 0000000000..89824b4cd8
--- /dev/null
+++ b/bin/install_module
@@ -0,0 +1,62 @@
+#!/bin/sh
+
+# install_module <from> <to>
+
+
+FROM="$1"
+TO="$2"
+
+DIRS_TO_MAKE=
+
+DIR="$TO"
+while :
+do
+  DIR=`echo $DIR | sed -e 's@/[^/]*$@@'`
+
+  case "$DIR" in
+    *.pmod)
+      if [ -d "$DIR" ]; then
+         break
+      else
+         :
+      fi
+
+
+      if [ -f "$DIR" ]; then
+        mv "$DIR" "$DIR-foo"
+        mkdir $DIR
+        mv "$DIR-foo" "$DIR/module.pmod"
+        break
+      fi
+
+      BASE=`echo $DIR | sed -e 's/\.[^.]*$//'`
+
+      if [ -f "$BASE.so" ]; then
+        mkdir "$DIR"
+        mv "$BASE.so" "$DIR/module.so"
+        break
+      fi
+
+#FIXME: Add sed expression to quote spaces, quotes etc. in $DIR
+      DIRS_TO_MAKE="$DIR $DIRS_TO_MAKE"
+    ;;
+    *) break ;;
+  esac
+
+done
+
+BASE=`echo $TO | sed -e 's/\.[^.]*$//'`
+
+if test "x$DIRS_TO_MAKE" != x; then
+  mkdir $DIRS_TO_MAKE
+else
+  :
+fi
+
+if [ -d "$BASE.pmod" ]; then
+  EXT=`echo $TO | sed -e 's@(\.[^.]$)@\1@/'`
+  TO="$BASE.pmod/module.$EXT"
+fi
+
+
+exec cp "$FROM" "$TO"
-- 
GitLab