Shell helper function for starting PHP dev servers

php-server-helper-shell-profile.bash

# Run a PHP dev server on the first available port starting at 8000
function serve()
{
    local port=8000

    # Try ports until an unused one is found
    while nc -z localhost $port > /dev/null; do ((port++)); done;

    echo -e "\033[44m>> Listening on port $port <<\033[0m"
    php -S "0.0.0.0:$port" "$@";
}