SmartDocs
Current page as Markdown (.md) Includes verification proof.
Passed with fixes · 2 verified blocks · 1 changed since
The latest run passed with a correction not yet applied to this page.

Install nginx

Install the nginx web server and confirm it serves on port 80.

bash
apt update
apt install -y nginx
service nginx start
Proven
Environment: debian/13 · container
Success signal: HTTP 200
Verified: 30 Jun 2026
✓ Matches the published text
This proof supports the code shown above.

Upgrade

bash
apt update && apt upgrade -y
Proven
Environment: images:debian/13 · container
Success signal: exit 0
Verified: 1 Jul 2026
✓ Matches the published text
This proof supports the code shown above.