Deployscript is bash

This commit is contained in:
Rien Maertens 2019-02-13 21:17:42 +01:00
parent 6aa885b4ec
commit 536435727a
No known key found for this signature in database
GPG key ID: 10C6D8C91DE58E4A

View file

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -eo pipefail
if [ git status --porcelain=2 -uno | grep '' ]; then