From b92b0e7b603f7a4df379659c58c1217ea0cca071 Mon Sep 17 00:00:00 2001 From: Alvar Penning Date: Fri, 9 Jan 2026 10:42:01 +0100 Subject: [PATCH] Remove tools/dev_update_schema.sh This script is very opinionated and uses a schema path, etc/schema/mysql, which was changed somewhere between v1.0.0-rc1 and v1.0.0-rc2. --- tools/dev_update_schema.sh | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100755 tools/dev_update_schema.sh diff --git a/tools/dev_update_schema.sh b/tools/dev_update_schema.sh deleted file mode 100755 index e1d08d60..00000000 --- a/tools/dev_update_schema.sh +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/bash - -set -e -set -o pipefail - -cd "$(dirname "$0")" - -BASEDIR=".." - -test "$1" = '-f' || ( - echo "Run '$0' -f to DROP ALL ICINGADB TABLES and re-create them using the current schema" - false -) - -set -x - -( - mysql -uroot -e 'SHOW TABLES\G' icingadb