From 4f60ca53a1246660188593269e793e68d774c95f Mon Sep 17 00:00:00 2001 From: The PCI ID Mail Robot Date: Sun, 29 Oct 2023 14:29:17 +0100 Subject: [PATCH] Use #!/bin/bash --- scripts/init | 2 +- scripts/update-github.sh | 2 +- scripts/update-sf.pl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/init b/scripts/init index 60d89da..13ca82f 100755 --- a/scripts/init +++ b/scripts/init @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # PciIds web database # Copyright (C) 2008 Michal Vaner (vorner@ucw.cz) diff --git a/scripts/update-github.sh b/scripts/update-github.sh index a991523..bc92448 100755 --- a/scripts/update-github.sh +++ b/scripts/update-github.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e cd ~/github ORIG=~/ids/docs/v2.2/pci.ids diff --git a/scripts/update-sf.pl b/scripts/update-sf.pl index be8e29c..72c8746 100755 --- a/scripts/update-sf.pl +++ b/scripts/update-sf.pl @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e cd ~/sf.net rm -rf htdocs -- 2.39.2