Merged in [19541] from lars@eggert.org:

    Print a line than can actually be copied & pasted to start the datatracker.
 - Legacy-Id: 19559
Note: SVN reference [19541] has been migrated to Git commit 32e2b18

Author: rjsparks

docker/docker-init.sh

@@ -76,7 +76,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