diff --git a/docs/setup-dev-environment.md b/docs/setup-dev-environment.md
index c351c515..0b7360e3 100644
--- a/docs/setup-dev-environment.md
+++ b/docs/setup-dev-environment.md
@@ -202,22 +202,12 @@ Create a colouring london database if none exists. The name (`<colouringlondondb
 sudo -u postgres psql -c "SELECT 1 FROM pg_database WHERE datname = '<colouringlondondb>';" | grep -q 1 || sudo -u postgres createdb -E UTF8 -T template0 --locale=en_US.utf8 -O <username> <colouringlondondb>
 ```
 
-Run `psql` interactively.
-
 ```bash
-psql
+psql -d <colouringlondondb> -c "create extension postgis;"
+psql -d <colouringlondondb> -c "create extension pgcrypto;"
+psql -d <colouringlondondb> -c "create extension pg_trgm;"
 ```
 
-In `psql`, necessary postgres extensions.
-
-```bash
-create extension postgis;
-create extension pgcrypto;
-create extension pg_trgm;
-```
-
-Then quit `psql` by typing `\q` and hitting return.
-
 ### :arrow_forward: Configuring Node.js
 
 Now upgrade the npm package manager to the most recent release with global privileges. This needs to be performed as root user, so it is necessary to export the node variables to the root user profile. Don't forget to exit from root at the end.