#!/bin/bash if [[ -n "$1" ]]; then echo "php -S localhost:1337 -c $1" php -S localhost:1337 -c "$1" else echo "php -S localhost:1337" php -S localhost:1337 fi