make docker commands the same as the official installation instructions; otherwise people might copy them and use instead of the normal install
parent
db70d1a59f
commit
be48993469
Loading…
Reference in New Issue