1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00

Update example screenshots

This commit is contained in:
Emil Ernerfeldt
2023-05-23 13:38:02 +02:00
parent b07a675439
commit b2281c46e4
15 changed files with 6 additions and 2 deletions

View File

@@ -7,7 +7,11 @@ cd "$script_path/.."
cd examples
for EXAMPLE_NAME in $(ls -1d */ | sed 's/\/$//'); do
if [ ${EXAMPLE_NAME} != "hello_world_par" ]; then
EFRAME_SCREENSHOT_TO="$EXAMPLE_NAME/screenshot.png" cargo run -p $EXAMPLE_NAME
if [ ${EXAMPLE_NAME} != "hello_world_par" ] && [ ${EXAMPLE_NAME} != "screenshot" ]; then
echo ""
echo "Running ${EXAMPLE_NAME}"
EFRAME_SCREENSHOT_TO="temp.png" cargo run -p ${EXAMPLE_NAME}
pngcrush -rem allb -brute -reduce temp.png "${EXAMPLE_NAME}/screenshot.png"
rm temp.png
fi
done