MariaDB and MySQL, because a claim nothing exercises stays wrong #5

2026-09-11T10:23:17+02:00

mi commented

2026-09-11 10:23:17 +02:00

Werkdock's quirk table claims to know how to move four images off their
default port. Three of those claims were false, and this repository had
tests for exactly one of the four — postgres, the one that was right.
Redis got a test when its claim was fixed. These are the other two.

Both ask the server itself, select @@port, rather than trusting that a
JDBC connection succeeded: connecting proves something answered, not
that werkdock and the server agree about where.

Finding them a home here was not free. MariaDBContainer copies a config
directory into /etc/mysql/conf.d, which werkdock refused until 0.8.1 —
the third fault this exercise turned up, and one that no amount of
reading the code would have shown.

Needs werkdock 0.8.1, and mariadb:11 and mysql:8 in the store.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com

Werkdock's quirk table claims to know how to move four images off their default port. Three of those claims were false, and this repository had tests for exactly one of the four — postgres, the one that was right. Redis got a test when its claim was fixed. These are the other two. Both ask the server itself, select @@port, rather than trusting that a JDBC connection succeeded: connecting proves something answered, not that werkdock and the server agree about where. Finding them a home here was not free. MariaDBContainer copies a config directory into /etc/mysql/conf.d, which werkdock refused until 0.8.1 — the third fault this exercise turned up, and one that no amount of reading the code would have shown. Needs werkdock 0.8.1, and mariadb:11 and mysql:8 in the store. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

mi added 1 commit 2026-09-11 10:23:18 +02:00

MariaDB and MySQL, because a claim nothing exercises stays wrong

werkator build succeeded after 02:44

Details

91de8e05b2

Werkdock's quirk table claims to know how to move four images off their
default port. Three of those claims were false, and this repository had
tests for exactly one of the four — postgres, the one that was right.
Redis got a test when its claim was fixed. These are the other two.

Both ask the server itself, select @@port, rather than trusting that a
JDBC connection succeeded: connecting proves something answered, not
that werkdock and the server agree about where.

Finding them a home here was not free. MariaDBContainer copies a config
directory into /etc/mysql/conf.d, which werkdock refused until 0.8.1 —
the third fault this exercise turned up, and one that no amount of
reading the code would have shown.

Needs werkdock 0.8.1, and mariadb:11 and mysql:8 in the store.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

mi manually merged commit b24b833d43 into main

2026-09-11 10:23:21 +02:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: mi/werkprobe#5