PageRenderTime 46ms CodeModel.GetById 19ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/installer/mk_filelist.sh

#
Shell | 74 lines | 33 code | 17 blank | 24 comment | 1 complexity | 00241375bf5896c73cb39923ddb2dce5 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. function print_size() {
  3. echo -n "$1: "
  4. ls -l `cat installer/$1` | awk 'BEGIN { size=0 } { disk_size+=(int($5/4096+1)*4); size+=$5/1024 } END { print disk_size " " size }'
  5. }
  6. # This script must be run from the jEdit directory, *not* the installer
  7. # directory!!!
  8. # jedit-program fileset
  9. echo jedit.jar > installer/jedit-program
  10. echo jars/LatestVersion.jar >> installer/jedit-program
  11. echo jars/QuickNotepad.jar >> installer/jedit-program
  12. echo properties/README.txt >> installer/jedit-program
  13. echo startup/README.txt >> installer/jedit-program
  14. echo startup/startup.bsh >> installer/jedit-program
  15. find modes -name \*.xml >> installer/jedit-program
  16. echo modes/catalog >> installer/jedit-program
  17. find doc \( -name \*.txt -o -name \*.png \) >> installer/jedit-program
  18. find doc/users-guide doc/FAQ doc/news42 doc/tips \( -name \*.html -o -name toc.xml \) >> installer/jedit-program
  19. echo doc/welcome.html >> installer/jedit-program
  20. print_size jedit-program
  21. # jedit-macros fileset
  22. find macros -name \*.bsh > installer/jedit-macros
  23. print_size jedit-macros
  24. # jedit-api fileset
  25. find doc/api \( -name \*.html -o -name toc.xml \) > installer/jedit-api
  26. echo doc/api/stylesheet.css >> installer/jedit-api
  27. echo doc/api/resources/inherit.gif >> installer/jedit-api
  28. print_size jedit-api
  29. # jedit-windows fileset
  30. #echo jeshlstb.dl_ > installer/jedit-windows
  31. #echo ltslog.dll >> installer/jedit-windows
  32. #echo jeditsrv.exe >> installer/jedit-windows
  33. #echo jedit.exe >> installer/jedit-windows
  34. #echo jedinit.exe >> installer/jedit-windows
  35. #echo unlaunch.exe >> installer/jedit-windows
  36. #echo jedinstl.dll >> installer/jedit-windows
  37. #echo jeservps.dll >> installer/jedit-windows
  38. #echo jedidiff.exe >> installer/jedit-windows
  39. #echo jEdit_IE.reg.txt >> installer/jedit-windows
  40. #
  41. #print_size jedit-windows
  42. # jedit-mac fileset
  43. echo jars/MacOS.jar > installer/jedit-mac
  44. print_size jedit-mac
  45. # jedit-os2 fileset
  46. echo jedit.cmd > installer/jedit-os2
  47. print_size jedit-os2
  48. # jedit-source fileset
  49. #find . \( -name \*.java -o -name \*.props -o -name \*.xml -o -name \*.png -o -name \*.gif \) -print > installer/jedit-source
  50. #print_size jedit-source
  51. rm -f installer/jedit-*.tar.bz2
  52. for file in installer/jedit-*
  53. do
  54. echo "creating $file.tar.bz2"
  55. tar cfj $file.tar.bz2 `cat $file`
  56. rm $file
  57. done