Replace /bin/bash with /usr/bin/env bash (#4 )

Add a docker dev setup (#3 )
2026-05-02 07:13:18 +02:00 · 2019-05-26 11:05:49 +02:00 · 2019-04-29 18:18:59 +02:00
4 changed files with 4 additions and 4 deletions
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 ########################################################################
 #  Copyright (C) 2019 Michael Weimann <mweimann@fsfe.org>
 ########################################################################
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 ########################################################################
 #  Copyright (C) 2019 Michael Weimann <mweimann@fsfe.org>
 ########################################################################
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 ########################################################################
 #  Copyright (C) 2016 Max Mehl <max.mehl@fsfe.org>
 ########################################################################
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 ########################################################################
 #  Copyright (C) 2019 Michael Weimann <mweimann@fsfe.org>
 ########################################################################
Author	SHA1	Message	Date
ulf	ab1d56dd2d	Replace /bin/bash with /usr/bin/env bash (#4 )	2019-05-26 11:05:49 +02:00
Michael Weimann	47dbbc76a8	Add a docker dev setup (#3 )	2019-04-29 18:18:59 +02:00