From 2e3a5a59741809475454b7e52cc45c69b2a846d6 Mon Sep 17 00:00:00 2001
From: xpetit <32063953+xpetit@users.noreply.github.com>
Date: Mon, 16 Aug 2021 11:34:41 +0200
Subject: [PATCH] Use the right formatting tool

---
 sh/debian/ubuntu/configure.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sh/debian/ubuntu/configure.sh b/sh/debian/ubuntu/configure.sh
index 3fa1bf72..745d3710 100755
--- a/sh/debian/ubuntu/configure.sh
+++ b/sh/debian/ubuntu/configure.sh
@@ -222,6 +222,9 @@ do
 		"$dir/.config/Code/User/settings.json" \
 		"$dir/.config/VSCodium/User/settings.json"
 	{
+	    "gopls": {
+	        "formatting.gofumpt": true
+	    },
 	    "extensions.autoCheckUpdates": false,
 	    "extensions.autoUpdate": false,
 	    "json.schemaDownload.enable": false,