#!/usr/bin/env bash
# Define PHP 8.3 como padrão do sistema (CLI). Requer sudo.
set -euo pipefail
sudo update-alternatives --set php /usr/bin/php8.3
php -v | head -1
echo "OK — use 'php artisan' normalmente."