SmartDocs
Current page as Markdown (.md) Includes verification proof.
Verified · 2 verified blocks
Verified as of 15 Oct 2026 (doc re-run · images:debian/13) · block proofs from 30 Jun – 1 Jul 2026 · Multiple environments Jump to verified block →
Proof coverage 2/2 blocks Code block 1 — verified · debian/13 · 30 Jun 2026 Code block 2 — verified · images:debian/13 · 1 Jul 2026
On 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
Proof of run
status
✓ Verified
env
debian/13 · container
signal
HTTP 200
checked
30 Jun 2026
sha256 42db206c39d1 · matches the published text
This proof supports the code shown above.

Upgrade

bash
apt update && apt upgrade -y
Proven
Proof of run
status
✓ Verified
env
images:debian/13 · container
signal
exit 0
checked
1 Jul 2026
sha256 8778418927d9 · matches the published text
This proof supports the code shown above.