generate_themes_previews.sh 992 B

123456789101112131415161718192021222324252627282930313233
  1. #!/usr/bin/env bash
  2. # This script generate all preview images for the themes
  3. root="$(git rev-parse --show-toplevel)"
  4. tools="$root/.tools"
  5. PATH=$tools:$PATH
  6. # new kitty window, return its id
  7. id=$(kitty @ new-window --title themes --window-type os --cwd "$tools")
  8. # start bash without reading the profile nor the configuration
  9. kitty @ send-text --match id:"$id" "/usr/bin/env bash --noprofile --norc\n"
  10. kitty @ set-font-size 24
  11. # save all preview in this directory
  12. previews="$root/_previews"
  13. if [ ! -d "$previews" ]; then
  14. mkdir "$previews"
  15. fi
  16. while read -r theme
  17. do
  18. echo "Genereting theme preview for $theme"
  19. preview_directory=$previews/$(basename "${theme%.*}")
  20. [ ! -d "$preview_directory" ] && mkdir "$preview_directory"
  21. preview_filename=$previews/$(basename "${theme%.*}")/preview.png
  22. generate_theme_preview.sh "$id" "$theme" "$preview_filename"
  23. mogrify -resize 1024x\> "$preview_filename"
  24. done < /dev/stdin
  25. kitty @ close-window --match id:"$id"
  26. kitty @ set-font-size 16