From 866d6fc1c9a136b96fefdbccfe5cadeb0079b9d9 Mon Sep 17 00:00:00 2001
From: bertiebaggio <7524620+bertiebaggio@users.noreply.github.com>
Date: Mon, 13 Jul 2020 15:12:17 +0100
Subject: [PATCH] Fix sed formatting

---
 docs/importing-postgres.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/importing-postgres.md b/docs/importing-postgres.md
index 4410db53..a88067e1 100644
--- a/docs/importing-postgres.md
+++ b/docs/importing-postgres.md
@@ -54,7 +54,7 @@ ALTER TABLE public.application_services_state OWNER TO synapse_user;
 
 It can be worked around by changing the username to `synapse`, for example by using `sed`:
 
-```sed
+```Shell
 $ sed -i "s/synapse_user/synapse/g" homeserver.sql"
 ```