mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-01 11:27:26 +00:00
13 lines
185 B
Bash
13 lines
185 B
Bash
|
#! /bin/bash
|
||
|
|
|
||
|
|
# Compresses all PNGs in the current directory and puts the compressed
|
||
|
|
# version in the parent directory
|
||
|
|
#
|
||
|
|
# Requires pngcrush
|
||
|
|
|
||
|
|
for f in *.png
|
||
|
|
do
|
||
|
|
pngcrush $f ../$f
|
||
|
|
done
|
||
|
|
|