From 9317d3a0ee628ab197c7ff825bf37e549fecbe08 Mon Sep 17 00:00:00 2001 From: ꙮ Date: Thu, 11 Apr 2024 18:41:34 -0700 Subject: Use /usr/bin/env bash instead of /bin/bash For portability outside GNU/Linux. --- gemini.filter.dpi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gemini.filter.dpi b/gemini.filter.dpi index d885a8e..5050f4c 100755 --- a/gemini.filter.dpi +++ b/gemini.filter.dpi @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # dillo-gemini # © 2020 Charles E. Lehner # Copying and distribution of this file, with or without modification, -- cgit v1.2.3