From c03596a25d029e6261b7542dbcace9bd7ba98fb5 Mon Sep 17 00:00:00 2001
From: Gurjeet Singh <gurjeet@singh.im>
Date: Tue, 14 Dec 2021 23:59:35 -0800
Subject: [PATCH] Use Bash from user's path

---
 pg_rep_test | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pg_rep_test b/pg_rep_test
index bd8233c..e1c9eef 100755
--- a/pg_rep_test
+++ b/pg_rep_test
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Default values
 
@@ -812,7 +812,7 @@ function create_tool()
 {
 
 file_header=$(cat <<-TOOL_CONFIG
-	#!/bin/bash
+	#!/usr/bin/env bash
 
 	# instance data associated with this maintenance script
 	datadirs=(${dir_list[*]})