From: The PCI ID Mail Robot <pci-admins@ucw.cz>
Date: Sun, 29 Oct 2023 13:29:17 +0000 (+0100)
Subject: Use #!/bin/bash
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=4f60ca53a1246660188593269e793e68d774c95f;p=pciids.git

Use #!/bin/bash
---

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