move wrapper script back; a script with the name of the package in debian/ is not...
authorgregor herrmann <gregoa@debian.org>
Fri, 16 Nov 2007 17:11:59 +0000 (17:11 -0000)
committergregor herrmann <gregoa@debian.org>
Fri, 16 Nov 2007 17:11:59 +0000 (17:11 -0000)
debian/changelog
debian/jabref [deleted file]
jabref [new file with mode: 0644]

index d499d3ca0b0b0ff122618874c573dbe43ca10a1b..ab6c1374079412a67c1eea85353f4aab5c893dff 100644 (file)
@@ -2,9 +2,8 @@ jabref (2.3-2) UNRELEASED; urgency=low
 
   * Add /usr/lib/jvm/java-7-icedtea to wrapper script. Doesn't work on
     Debian yet but helps Ubuntu users.
+  * Reformat wrapper script.
   * TODO: add dependency on icedtea-java7-jre (not yet in Debian).
-  * Move wrapper script to debian/ directory in source package and reformat
-    it.
 
  -- gregor herrmann <gregor+debian@comodo.priv.at>  Fri, 16 Nov 2007 18:00:07 +0100
 
diff --git a/debian/jabref b/debian/jabref
deleted file mode 100644 (file)
index 2596eba..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-# jabref wrapper script
-# code for java detection borrowed from tuxguitar
-
-if [ -z $JAVA_HOME ] ; then
-       t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
-       t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
-       t=/usr/lib/jvm/java-7-icedtea && test -d $t && JAVA_HOME=$t
-       JAVA=${JAVA_HOME}/jre/bin/java
-fi
-
-export JAVA=${JAVA:=java}
-
-exec $JAVA -jar /usr/share/java/jabref.jar "$@"
diff --git a/jabref b/jabref
new file mode 100644 (file)
index 0000000..2596eba
--- /dev/null
+++ b/jabref
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+# jabref wrapper script
+# code for java detection borrowed from tuxguitar
+
+if [ -z $JAVA_HOME ] ; then
+       t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
+       t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
+       t=/usr/lib/jvm/java-7-icedtea && test -d $t && JAVA_HOME=$t
+       JAVA=${JAVA_HOME}/jre/bin/java
+fi
+
+export JAVA=${JAVA:=java}
+
+exec $JAVA -jar /usr/share/java/jabref.jar "$@"