PageRenderTime 122ms CodeModel.GetById 80ms app.highlight 5ms RepoModel.GetById 35ms app.codeStats 1ms

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

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