rename_binaries.sh 401 B

12345678910111213141516
  1. #!/bin/bash
  2. # This script renames the built binaries according to version
  3. # number and platform.
  4. mkdir -p distrib
  5. DATE=$(date +%Y-%m-%d)
  6. VERSION=$(git describe --always)
  7. for file in $(ls .pio/build/*/*.bin .pio/build/*/*.uf2)
  8. do
  9. NEWNAME=$(echo $file | sed 's|.pio/build/\([^/]*\)/\(.*\)\.\(.*\)|\1_'$DATE'_'$VERSION'.\3|')
  10. echo $file to distrib/$NEWNAME
  11. cp $file distrib/$NEWNAME
  12. done