Skip to content

Commit 36e280b

Browse files
committed
Resolve lint warnings
1 parent 81d5451 commit 36e280b

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

tools/scripts/download

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,9 +32,9 @@
3232
url="$1"
3333

3434
# Find a program for downloading a resource:
35-
CURL=$(which curl 2>/dev/null)
36-
WGET=$(which wget 2>/dev/null)
37-
FETCH=$(which fetch 2>/dev/null)
35+
CURL=$(command -v curl 2>/dev/null)
36+
WGET=$(command -v wget 2>/dev/null)
37+
FETCH=$(command -v fetch 2>/dev/null)
3838

3939
# Define a timeout (in seconds):
4040
timeout=30

0 commit comments

Comments
 (0)