From 5ccf78963c5e61cef80587c8e7f08e7d6e002d36 Mon Sep 17 00:00:00 2001 From: olikraus Date: Sun, 9 Nov 2025 17:02:19 +0100 Subject: [PATCH] update --- tools/font/build/copy_fnt_pic.sh | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 tools/font/build/copy_fnt_pic.sh diff --git a/tools/font/build/copy_fnt_pic.sh b/tools/font/build/copy_fnt_pic.sh deleted file mode 100644 index d1949451..00000000 --- a/tools/font/build/copy_fnt_pic.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash - -SOURCE_DIR=~/git/u8g2.wiki/fntpic -DEST_DIR=~/git/u8g2/tools/font/build - -# Create destination directory if it doesn't exist -# mkdir -p "$DEST_DIR" - -# Loop through all .png files in the source directory -find $SOURCE_DIR -type f -name "*te*.png" | while read -r src_file; do - # Get the relative path of the file from source directory - rel_path="${src_file#$SOURCE_DIR/}" - dest_file="$DEST_DIR/$rel_path" - - # If file doesn't exist in destination, or size has changed, copy it - if [ ! -f "$dest_file" ] || [ "$(stat -c %s "$src_file")" -ne "$(stat -c %s "$dest_file" 2>/dev/null)" ]; then - # mkdir -p "$(dirname "$dest_file")" # Ensure destination subdirectory exists - ls -al "$src_file" "$dest_file" - cp "$src_file" "$dest_file" - echo "Copied: $rel_path" - fi -done