diff --git a/ci/autopkg_debian.sh b/ci/autopkg_debian.sh index 8a46c1401e0c289ef036a5efb15f20884dd566a7..70eecdd5a4efab52848bf1de664f3d2b9fcf4305 100755 --- a/ci/autopkg_debian.sh +++ b/ci/autopkg_debian.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/bin/sh set -e PACKAGES_DIR=$1 diff --git a/ci/pylint.sh b/ci/pylint.sh index a200be125452fb975ae4ad9576a31d295d43e896..fa4dae5c371e85e640d3294073e00690daca160b 100755 --- a/ci/pylint.sh +++ b/ci/pylint.sh @@ -1,3 +1,3 @@ -!/bin/sh +#!/bin/sh pylint image_creator