/jEdit/tags/jedit-4-2-pre4/installer/mk_installer.sh

# · Shell · 19 lines · 11 code · 4 blank · 4 comment · 1 complexity · 3fda17fcb4cd79c64b923d6f9b9639f0 MD5 · raw file

  1. #!/bin/sh
  2. # This script must be run from the jEdit directory, *not* the installer
  3. # directory!!!
  4. if [ "$1" = "" ]; then
  5. echo "Must specify a command line parameter."
  6. exit 1
  7. fi
  8. # By default, put it in your home directory
  9. DESTDIR=$HOME
  10. jar cf0m $DESTDIR/jedit${1}install.jar installer/install.mf \
  11. installer/install.props \
  12. installer/*.html \
  13. installer/*.class \
  14. installer/jedit-*.tar.bz2 \
  15. jedit.1