All pastes #711195 Raw Edit

Unbenannt

public text v1 · immutable
#711195 ·published 2007-09-25 18:16 UTC
rendered paste body
#!/bin/sh

# we must set path to jdk 1.3.x
. setJava --version 1.3

if [ -n "$CLASSPATH" ] ; then
  CLASSPATH=$CLASSPATH:/usr/lib/jedit/jedit.jar
else
  CLASSPATH=/usr/lib/jedit/jedit.jar
fi

export CLASSPATH

java org/gjt/sp/jedit/jEdit $@ 1>/dev/null 2>/dev/null