From e1f0d994fd15105868651e078ffae061d52ab3ef Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Thu, 14 Feb 2019 14:39:29 +0100
Subject: [PATCH] Use /bin/bash for format_json userscript

The pipefail option is undefined in POSIX sh:
https://github.com/koalaman/shellcheck/wiki/SC2039
---
 misc/userscripts/format_json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/userscripts/format_json b/misc/userscripts/format_json
index 0d476b327..610cefbac 100755
--- a/misc/userscripts/format_json
+++ b/misc/userscripts/format_json
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -euo pipefail
 #
 # Behavior: