4b55c5276e
px_romfs_pruner.py: fix indenting
9 years ago
443592136b
px_romfs_pruner.py: PEP8ify and whitespace
...
- Changed from 8 spaces indent back to 4 which I find appropriate for
Python.
- Fixed linelength to 80 chars.
9 years ago
6e26d1b8dc
px_romfs_pruner.py: ignore files starting with .
9 years ago
9b5b2a4ccc
use correct Unix line ending character
...
Conflicts:
Tools/px_romfs_pruner.py
9 years ago
f297cf96f7
Ignore .DS_Store in the ROMFS pruner.
9 years ago
2bbb1ad35f
python3 fixes
9 years ago
5191731f22
make romfs pruner script windows compatible
...
When we open the file handle to write back the lines in binary mode, we don't change the line endings but instead leave them as they were before. This is impotant for Windows users as Python on Windows otherwise adds CRLF endings to the parameter files and they can't be correctly parsed by NuttX any more.
9 years ago
6ec338c23f
Fix px_romfs_pruner.py to skip .data files
...
The .data extension was missing but used in some places; this would cause the pruner to fail with a UnicodeDecodeError.
10 years ago
d5e463352d
romfs pruner: fix filename check
11 years ago
047dfc7714
romfs pruner: do not try to prune .swp files
11 years ago
94c40b6fa4
ROMFS: only identify *.mix as mixer files
11 years ago
a61a89f339
ROMFS: ignore comments and newlines in startup files, text in mixer files
11 years ago
Julian Oes
tumbili
skyworks_zyx
Thomas Gubler
Matthias Grob
James Harrison