diff options
| -rwxr-xr-x | tools/mpy_bin2res.py | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/mpy_bin2res.py b/tools/mpy_bin2res.py new file mode 100755 index 0000000000..0c89e7e92b --- /dev/null +++ b/tools/mpy_bin2res.py @@ -0,0 +1,18 @@ +#!/usr/bin/env python3 +# +# This tool converts binary resource files passed on the command line +# into a Python source file containing data from these files, which can +# be accessed using standard pkg_resources.resource_stream() function +# from micropython-lib: +# https://github.com/micropython/micropython-lib/tree/master/pkg_resources +# +import sys + +print("R = {") + +for fname in sys.argv[1:]: + with open(fname, "rb") as f: + b = f.read() + print("%r: %r," % (fname, b)) + +print("}") |