]> mj.ucw.cz Git - pciids.git/commitdiff
Use #!/bin/bash
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 29 Oct 2023 13:29:17 +0000 (14:29 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 29 Oct 2023 13:29:17 +0000 (14:29 +0100)
scripts/init
scripts/update-github.sh
scripts/update-sf.pl

index 60d89daa0b10b74d2d40eefae247410c0bfcbdb2..13ca82feb8bc53ccb7c326a97bcc215a8f96ed84 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #      PciIds web database
 #      Copyright (C) 2008 Michal Vaner (vorner@ucw.cz)
index a991523a88a1a11711433fe17f6508ad4d00ffe0..bc92448adf56bc7b6656d46f98393d79272c11b1 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 cd ~/github
 ORIG=~/ids/docs/v2.2/pci.ids
index be8e29ca3b3a4789f61ae24a38f8e9f01962bc74..72c874606ca38e369eee23213345af80f71ee2da 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 cd ~/sf.net
 rm -rf htdocs