From: Emilie <zawadzki@ircam.fr>
Date: Fri, 8 Jul 2016 17:03:59 +0000 (+0200)
Subject: push.sh : changing sh to bash
X-Git-Url: https://git.parisson.com/?a=commitdiff_plain;h=97a931869c88af6fd1aa5dd3c60c7a123531394e;p=mezzo.git

push.sh : changing sh to bash
---

diff --git a/scripts/push.sh b/scripts/push.sh
index 14175e77..2bc080c7 100755
--- a/scripts/push.sh
+++ b/scripts/push.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 docker-compose run db /srv/scripts/backup_db.sh
 git add data/media