aboutsummaryrefslogtreecommitdiff
path: root/util/travis_compiled_push.sh
diff options
context:
space:
mode:
authorMikkel Jeppesen <2756925+Duckle29@users.noreply.github.com>2019-05-28 20:38:47 +0200
committerDrashna Jaelre <drashna@live.com>2019-05-28 11:38:47 -0700
commit70a7b84dabf3e8dc292f0aaf966a10ba9a8707f8 (patch)
tree48fa1294b0c3da1bc3a38a2748177668cebd5b05 /util/travis_compiled_push.sh
parenta31c2ac03e78078f796df6e6cca08186368a1d72 (diff)
downloadqmk_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-xutil/travis_compiled_push.sh25
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