backport waitmans changes #1170 from master

2018-05-20 11:39:59 +02:00
parent b11db26edf
commit 63f84ece6e
13 changed files with 13 additions and 13 deletions
--- a/util/add_theme_repo
+++ b/util/add_theme_repo
@@ -1,4 +1,4 @@
-#!/bin/bash -f
+#!/usr/bin/env bash -f

 if [ $# -lt 2 ]; then
 	echo usage: $0 repo_url nickname