PageRenderTime 36ms CodeModel.GetById 14ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/installer/mk_installer.sh

#
Shell | 19 lines | 11 code | 4 blank | 4 comment | 1 complexity | 0c61ca77579866efd213fbb428bcf84d MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  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 cfm $DESTDIR/jedit${1}install.jar installer/install.mf \
  11. installer/install.props \
  12. installer/*.html \
  13. installer/*.class \
  14. `cat installer/jedit-*` \
  15. installer/jedit-*