mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-18 11:01:36 +00:00
13 lines
185 B
Bash
Executable file
13 lines
185 B
Bash
Executable file
#! /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
|
|
|