shebang portable

2018-05-12 09:58:19 -07:00
parent 984de8f46f
commit e288f46967
14 changed files with 15 additions and 15 deletions
--- a/util/update_theme_repo
+++ b/util/update_theme_repo
@@ -1,5 +1,4 @@
-#!/bin/bash -f
-
+#!/usr/bin/env bash

 if [ $# -ne 1 ]; then
 	echo usage: $0 repository