Use bash anywhere

JuliaCI · Jun 9, 2023 · 0b90111 · 0b90111
1 parent bfdf82e
commit 0b90111
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hooks/post-checkout b/hooks/post-checkout
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Load common tools
 PLUGIN_ROOT="$( cd "$( dirname "$( dirname "${BASH_SOURCE[0]}" )" )" &> /dev/null && pwd )"