From 32e2b18b31729ee0161f40dc3d7e894a47ebc616 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Wed, 3 Nov 2021 18:03:37 +0000
Subject: [PATCH] Print a line than can actually be copied & pasted to start
 the datatracker.

Commit ready for merge.
 - Legacy-Id: 19541
---
 docker/docker-init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/docker-init.sh b/docker/docker-init.sh
index d3db0c7bb8..857f69c8de 100644
--- a/docker/docker-init.sh
+++ b/docker/docker-init.sh
@@ -83,7 +83,7 @@ echo
 if [ -z "$*" ]; then
     echo "You can execute arbitrary commands now, e.g.,"
     echo
-    echo "    ietf/manage.py runserver 0.0.0.0:8000"
+    echo "    ietf/manage.py check && ietf/manage.py runserver 0.0.0.0:8000"
     echo
     echo "to start a development instance of the Datatracker."
     echo