diff options
| author | ꙮ <ymir@ulthar.xyz> | 2024-04-11 18:41:34 -0700 |
|---|---|---|
| committer | rodarima <rodarima@gmail.com> | 2024-05-08 21:46:17 +0200 |
| commit | 9317d3a0ee628ab197c7ff825bf37e549fecbe08 (patch) | |
| tree | 03fdec6aa5214856551a4e5a5392df1bdfbddc1a | |
| parent | 74bf47e871f03a5827ba96e9de3e9830108e0bb8 (diff) | |
Use /usr/bin/env bash instead of /bin/bash
For portability outside GNU/Linux.
| -rwxr-xr-x | gemini.filter.dpi | 2 |
1 files changed, 1 insertions, 1 deletions
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, |