#!/bin/bash ## #ddev-generated: If you want to edit and own this file, remove this line. ## Description: Launch a browser with PhpMyAdmin ## Usage: phpmyadmin ## Example: "ddev phpmyadmin" DDEV_PHPMYADMIN_PORT=8036 DDEV_PHPMYADMIN_HTTPS_PORT=8037 if [ ${DDEV_PRIMARY_URL%://*} = "http" ] || [ -n "${GITPOD_WORKSPACE_ID:-}" ] || [ "${CODESPACES:-}" = "true" ]; then ddev launch :$DDEV_PHPMYADMIN_PORT else ddev launch :$DDEV_PHPMYADMIN_HTTPS_PORT fi