Como minha edição da resposta de Paolo foi rejeitada, veja uma resposta mais completa:
ps aux | grep php
Este comando produzirá algo como o seguinte se o php estiver sendo executado:
pi 3245 0.0 0.5 21400 2416 pts/0 S Jan29 0:02 php -S localhost:8000 -t /path/to/php/docroot
pi 3518 0.0 0.3 5220 1712 pts/0 S+ 00:42 0:00 grep --color=auto php
A segunda linha pode ser ignorada, pois é apenas auto-referência do comando de busca. Este script irá verificar se o servidor está sendo executado e iniciá-lo se não estiver:
if ! ps aux | grep -v grep | grep -qs 'php -S localhost:8000';
then
php -S localhost:8000 -t /path/to/php/docroot &>/dev/null &
fi