diff options
| author | Mikkel Jeppesen <2756925+Duckle29@users.noreply.github.com> | 2019-05-28 20:38:47 +0200 |
|---|---|---|
| committer | Drashna Jaelre <drashna@live.com> | 2019-05-28 11:38:47 -0700 |
| commit | 70a7b84dabf3e8dc292f0aaf966a10ba9a8707f8 (patch) | |
| tree | 48fa1294b0c3da1bc3a38a2748177668cebd5b05 /util/travis_compiled_push.sh | |
| parent | a31c2ac03e78078f796df6e6cca08186368a1d72 (diff) | |
| download | qmk_firmware-70a7b84dabf3e8dc292f0aaf966a10ba9a8707f8.tar.gz qmk_firmware-70a7b84dabf3e8dc292f0aaf966a10ba9a8707f8.zip | |
Clean up duped filenames om qmk.fm (#5822)
Removes all binaries that don't correspond to an entry in the .keyboards file
Diffstat (limited to 'util/travis_compiled_push.sh')
| -rwxr-xr-x | util/travis_compiled_push.sh | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index d76030f83..25ed83fb0 100755 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh | |||
| @@ -55,8 +55,29 @@ if [[ "$TRAVIS_COMMIT_MESSAGE" != *"[skip build]"* ]] ; then | |||
| 55 | # rm -f compiled/*.hex | 55 | # rm -f compiled/*.hex |
| 56 | 56 | ||
| 57 | # ignore errors here | 57 | # ignore errors here |
| 58 | # In theory, this is more flexible, and will allow for additional expansion of additional types of files and other names | 58 | # In theory, this is more flexible, and will allow for additional expansion of additional types of files and other names |
| 59 | mv ../qmk_firmware/*_default.*[hb][ei][xn] ./compiled/ || true | 59 | mv ../qmk_firmware/*_default.*{hex,bin} ./compiled/ || true |
| 60 | |||
| 61 | # get the list of keyboards | ||
| 62 | readarray -t keyboards < .keyboards | ||
| 63 | |||
| 64 | # replace / with _ | ||
| 65 | keyboards=("${keyboards[@]//[\/]/_}") | ||
| 66 | |||
| 67 | # remove all binaries that don't belong to a keyboard in .keyboards | ||
| 68 | for file in "./compiled"/* ; do | ||
| 69 | match=0 | ||
| 70 | for keyboard in "${keyboards[@]}" ; do | ||
| 71 | if [[ ${file##*/} = "${keyboard}_default.bin" ]] || [[ ${file##*/} = "${keyboard}_default.hex" ]]; then | ||
| 72 | match=1 | ||
| 73 | break | ||
| 74 | fi | ||
| 75 | done | ||
| 76 | if [[ $match = 0 ]]; then | ||
| 77 | echo "Removing deprecated binary: $file" | ||
| 78 | rm "$file" | ||
| 79 | fi | ||
| 80 | done | ||
| 60 | 81 | ||
| 61 | bash _util/generate_keyboard_page.sh | 82 | bash _util/generate_keyboard_page.sh |
| 62 | git add -A | 83 | git add -A |
