#!/bin/bash PORT=${1:-8000} php -S localhost:$PORT