]> git.parisson.com Git - mezzo.git/commitdiff
push.sh : changing sh to bash
authorEmilie <zawadzki@ircam.fr>
Fri, 8 Jul 2016 17:03:59 +0000 (19:03 +0200)
committerEmilie <zawadzki@ircam.fr>
Fri, 8 Jul 2016 17:03:59 +0000 (19:03 +0200)
scripts/push.sh

index 14175e77a50402753772d4c78a3d1b911a1842a4..2bc080c7df76d0a8af77f8729bb067aafd29c68f 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 docker-compose run db /srv/scripts/backup_db.sh
 git add data/media