Simple shell scripts to manage nginx under debian/ubuntu platforms.