From dd540e401a9f5e5a0ed8261c213992edd1703e76 Mon Sep 17 00:00:00 2001
From: Mechiel Lukkien <mechiel@ueber.net>
Date: Thu, 1 Feb 2024 09:03:32 +0100
Subject: [PATCH] replace another "/bin/bash" with "/usr/bin/env bash" and
 remove old file

---
 fixjshintlines.sh | 4 ----
 genwebsite.sh     | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100755 fixjshintlines.sh

diff --git a/fixjshintlines.sh b/fixjshintlines.sh
deleted file mode 100755
index 3cad652..0000000
--- a/fixjshintlines.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-# change output to regular filename:linenumber format for easier opening.
-arg=$(echo $1 | sed 's,/,\\/,')
-exec sed "s/^\([^:]*\): line \([0-9][0-9]*\), \(.*\)\$/${arg}\1:\2: \3/"
diff --git a/genwebsite.sh b/genwebsite.sh
index d984264..d0d2742 100755
--- a/genwebsite.sh
+++ b/genwebsite.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 mkdir website/html 2>/dev/null
 rm -r website/html/* 2>/dev/null