commit 1fb55fe25b3dd5ef61dbc38290fbba2e233dc6b6 parent e391c4624055138f075c0e5772ccaf8ede094b5a Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue, 22 Apr 2025 14:32:09 +0200 Remove useless files Diffstat:
D | convert.sh | | | 22 | ---------------------- |
D | run-old | | | 0 |
2 files changed, 0 insertions(+), 22 deletions(-)
diff --git a/convert.sh b/convert.sh @@ -1,22 +0,0 @@ -#!/bin/sh - -for f in $@; do - if [ ! -f "$f" ]; then - echo "File $f does not exist" - exit 1 - fi -done - -for f in $@; do - while read -r line; do - #c=$(cat "$f") - c="$line" - cc="$(./run-old convert -fin H48 -fout B32 -cubestr "$c" 2>/dev/null)" - if [ -z "$cc" ]; then - echo "$line" - else - echo "$cc=A" - fi - done < "$f" > "$f.new" - mv "$f.new" "$f" -done diff --git a/run-old b/run-old Binary files differ.