#!/bin/sh
set -e

# Convert a UTC timestamp to Europe/Paris (UTC+2 in summer).
# ICU bundles its own timezone data, so this works without system tzdata.
result=$(duckdb -c "LOAD icu; SELECT TIMESTAMPTZ '2024-07-04 12:00:00+00' AT TIME ZONE 'Europe/Paris';")
echo "$result" | grep -q "14:00:00"
