diff options
| -rw-r--r-- | data/font.png (renamed from res/font.png) | bin | 7626 -> 7626 bytes | |||
| -rw-r--r-- | data/icon.ico (renamed from res/icon.ico) | bin | 4286 -> 4286 bytes | |||
| -rw-r--r-- | data/icon.png (renamed from res/icon.png) | bin | 7344 -> 7344 bytes | |||
| -rw-r--r-- | data/icon2.ico (renamed from res/icon2.ico) | bin | 4286 -> 4286 bytes | |||
| -rw-r--r-- | data/icon2.png (renamed from res/icon2.png) | bin | 6622 -> 6622 bytes | |||
| -rw-r--r-- | data/icon3.ico (renamed from res/icon3.ico) | bin | 4286 -> 4286 bytes | |||
| -rw-r--r-- | data/icon3.png (renamed from res/icon3.png) | bin | 5580 -> 5580 bytes | |||
| -rw-r--r-- | src/libjin-lua/resources/embed.py | 56 |
8 files changed, 0 insertions, 56 deletions
diff --git a/res/font.png b/data/font.png Binary files differindex 15c98a5..15c98a5 100644 --- a/res/font.png +++ b/data/font.png diff --git a/res/icon.ico b/data/icon.ico Binary files differindex 2b3fe21..2b3fe21 100644 --- a/res/icon.ico +++ b/data/icon.ico diff --git a/res/icon.png b/data/icon.png Binary files differindex 01e1ca6..01e1ca6 100644 --- a/res/icon.png +++ b/data/icon.png diff --git a/res/icon2.ico b/data/icon2.ico Binary files differindex f4eb980..f4eb980 100644 --- a/res/icon2.ico +++ b/data/icon2.ico diff --git a/res/icon2.png b/data/icon2.png Binary files differindex 1f8e0e3..1f8e0e3 100644 --- a/res/icon2.png +++ b/data/icon2.png diff --git a/res/icon3.ico b/data/icon3.ico Binary files differindex 8fa9d30..8fa9d30 100644 --- a/res/icon3.ico +++ b/data/icon3.ico diff --git a/res/icon3.png b/data/icon3.png Binary files differindex 8c9a054..8c9a054 100644 --- a/res/icon3.png +++ b/data/icon3.png diff --git a/src/libjin-lua/resources/embed.py b/src/libjin-lua/resources/embed.py deleted file mode 100644 index 7eb825d..0000000 --- a/src/libjin-lua/resources/embed.py +++ /dev/null @@ -1,56 +0,0 @@ -import os, sys, random, re - -def fmt(fmt, dic): - for k in dic: - fmt = fmt.replace("{%s}" % k, str(dic[k])) - return fmt - - -def makeArray(data): - i = [0] - def fn(x): - x = str(ord(x)) + "," - if i[0] + len(x) > 78: - i[0] = len(x) - x = '\n' + x - else: - i[0] += len(x) - return x - return '{' + "".join(map(fn, data)).rstrip(",") + '}' - - -def safename(filename): - return re.sub("[^a-z0-9]", "_", os.path.basename(filename).lower()) - - -def process(filenames): - if type(filenames) is str: - filenames = [filenames] - - strings = [] - - for filename in filenames: - data = open(filename, "rb").read() - strings.append( - fmt("/* {filename} */\n" +\ - "static const char {name}[] = \n{array};", - { - "filename" : os.path.basename(filename), - "name" : safename(filename), - "array" : makeArray(data), - })) - - return "/* Automatically generated; do not edit */\n\n" +\ - "\n\n".join(strings) - - -def main(): - if len(sys.argv) < 2: - print "usage: embed FILENAMES" - sys.exit(1) - - print process(sys.argv[1:]) - - -if __name__ == "__main__": - main()
\ No newline at end of file |
