luke-sdk/install.patch

   1 --- luke-sdk/install/install.sh~    2008-12-03 21:40:22.000000000 +0100
   2 +++ luke-sdk/install/install.sh    2008-12-03 21:51:23.000000000 +0100
   3 @@ -3,7 +3,7 @@
   4  # whole package into $PREFIX/share and copy luke and pty into $PREFIX/bin.
   5  # You probably need to run this script as root (e.g. sudo ./install.sh).
   6
   7 -PREFIX=/usr/local
   8 +#PREFIX=/usr/local
   9  DIR=`dirname $0`
  10  if [ -e $PREFIX/share/luke ]
  11  then
  12 @@ -23,41 +23,10 @@
  13  cp -pr $DIR/../* $PREFIX/share/luke
  14  chmod -R a+w $PREFIX/share/luke/share
  15  chmod -R a+x $PREFIX/share/luke/share/toolbox
  16 -echo "Copying luke to $PREFIX/bin."
  17 -cat >$PREFIX/bin/luke <<+++
  18 -#!/bin/bash
  19 -/usr/bin/env python $PREFIX/share/luke/luke.pyw $*
  20 -+++
  21 -chmod a+x $PREFIX/bin/luke
  22 -echo "Copying icon luke.png to /usr/share/pixmaps"
  23 -cp -p $DIR/../images/luke.png /usr/share/pixmaps
  24 -echo "Creating luke.desktop entry in /usr/share/applications"
  25 -cat >/usr/share/applications/luke.desktop <<+++
  26 -[Desktop Entry]
  27 -Name=Luke-SDK
  28 -Name[en_GB]=Luke-SDK
  29 -GenericName=Integrated Development Environment
  30 -GenericName[en_GB]=Integrated Development Environment
  31 -Comment=General purpose IDE and software administration tool
  32 -Encoding=UTF-8
  33 -Version=0.7.7
  34 -Exec=luke %F
  35 -Terminal=false
  36 -StartupNotify=false
  37 -Icon=luke.png
  38 -Type=Application
  39 -Categories=Application;Development;IDE
  40 -+++
  41 -if [ ~ = /root ]
  42 -then
  43 -    HOME=/home/$SUDO_USER
  44 -fi
  45 -echo "Adding launcher to $HOME/Desktop."
  46 -cp /usr/share/applications/luke.desktop $HOME/Desktop/Luke.desktop
  47 -chmod a+w $HOME/Desktop/Luke.desktop
  48  echo "Making pty from source."
  49  (cd $DIR/../pty && make -s full)
  50  echo "Copying pty to $PREFIX/bin."
  51 +mkdir -p $PREFIX/bin
  52  cp -p $DIR/../pty/pty $PREFIX/bin
  53  chmod a+x $PREFIX/bin/pty
  54  echo "Installing manual pages."