#!/usr/bin/env bash
# Lokasi komponen fisik extension pgcrypto pada server kursus.
EXTDIR=/home/z/my-project/tools/dl/pgdeb/usr/share/postgresql/17/extension
LIBDIR=/home/z/my-project/tools/dl/pgdeb/usr/lib/postgresql/17/lib

echo "== SHAREDIR/extension: control file + script SQL =="
ls "$EXTDIR" | grep '^pgcrypto'

echo ""
echo "== libdir: shared library =="
ls "$LIBDIR" | grep '^pgcrypto'

echo ""
echo "== Isi pgcrypto.control =="
cat "$EXTDIR/pgcrypto.control"