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

/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
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. 

  2. 

  3. # This script must be run from the jEdit directory, *not* the installer
    4. 

  4. # directory!!!
    5. 

  5. 

  6. if [ "$1" = "" ]; then
    7. 

  7.   echo "Must specify a command line parameter."
    8. 

  8.   exit 1
    9. 

  9. fi
    10. 

  10. 

  11. # By default, put it in your home directory
    12. 

  12. DESTDIR=$HOME
    13. 

  13. 

  14. jar cf0m $DESTDIR/jedit${1}install.jar installer/install.mf \
    15. 

  15. 	installer/install.props \
    16. 

  16. 	installer/*.html \
    17. 

  17. 	installer/*.class \
    18. 

  18. 	installer/jedit-*.tar.bz2 \
    19. 

  19. 	jedit.1
    20. 

    21.