From 0efdfd2f270ef34fa42808ffcb1e95dfd46b6049 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Thu, 28 Jan 2021 15:17:17 +0100
Subject: Switch format_json userscript to /bin/sh again

It was switched to bash in 22e4a800a1c6080d29d41eeda229bc67b7bf314b for
"-o pipefail", but doesn't actually use pipes, so we might as well
switch it back to sh again.

(cherry picked from commit aa333512a12c42c86e3c76faf1f5606426f454f1)
---
 misc/userscripts/format_json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/misc/userscripts/format_json b/misc/userscripts/format_json
index 8a83c25fa..555a40de1 100755
--- a/misc/userscripts/format_json
+++ b/misc/userscripts/format_json
@@ -1,5 +1,5 @@
-#!/usr/bin/env bash
-set -euo pipefail
+#!/bin/sh
+set -eu
 #
 # Behavior:
 #   Userscript for qutebrowser which will take the raw JSON text of the current
-- 
cgit v1.2.3-54-g00ecf