some code and script concerning php

gistfile1.txt

> php -S localhost:8000
to run php in a directory.

> SELECT user FROM mysql. user; 
> or SELECT user,host FROM mysql. user; 
in mysql to list users.

Docker:
$ docker system df
to run df (viewing filesystem usage) on docker.
I think system in the command, refers to both images and containers, so the variant of this command would be:
$ docker image df
$ docker container df

docker images is equivalent to  docker image ls.