deploy: Script must have bash header · 77f8d085e5 - syncthing - Gitea: Git with a cup of tea

felixfoertsch/syncthing

deploy: Script must have bash header

This commit is contained in:

Jakob Borg

2016-07-05 14:56:12 +02:00

parent aae1a525f1

commit 77f8d085e5

1 changed files with 1 additions and 1 deletions

									
										deploy.sh
									
		+1
		-1
	
												View File
												
				@@ -1,4 +1,4 @@

				#!/bin/sh

				#!/bin/bash

				set -euo pipefail

				git pull