diff options
1 files changed, 1 insertions, 1 deletions
| -rwxr-xr-x[-rw-r--r--] | website/publish.sh | 2 |
diff --git a/website/publish.sh b/website/publish.sh index 95fc770..cdb9ea4 100644..100755 --- a/website/publish.sh +++ b/website/publish.sh @@ -1,4 +1,4 @@ -#!/usr/bin/sh +#!/bin/bash set -e |