diff options
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/gen-x11-icon.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/TOOLS/gen-x11-icon.sh b/TOOLS/gen-x11-icon.sh deleted file mode 100755 index 34823aa710..0000000000 --- a/TOOLS/gen-x11-icon.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -# This script is expected to be called as TOOLS/gen-x11-icon.sh (it will access -# etc/mpv-icon...), and it will write video/out/x11_icon.bin. - -conv() { - echo - echo `identify -format "icon: %w %h" "$1"` - convert "$1" -depth 8 rgba:- -} - -(echo "# File generated by gen-x11-icon.sh" ; - conv etc/mpv-icon-8bit-16x16.png ; - conv etc/mpv-icon-8bit-32x32.png ; - conv etc/mpv-icon-8bit-64x64.png) | gzip -c > video/out/x11_icon.bin |