Update wgd.sh

This commit is contained in:
Jiao Xianjun 2021-02-03 16:01:04 +01:00 committed by GitHub
parent 20aa12c209
commit e07d2876e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,9 +1,9 @@
#!/bin/bash #!/bin/bash
# SPDX-FileCopyrightText: 2019 Jiao Xianjun <putaoshu@msn.com> # Author: Xianjun Jiao
# SPDX-FileCopyrightText: 2019 UGent
# SPDX-License-Identifier: AGPL-3.0-or-later # SPDX-License-Identifier: AGPL-3.0-or-later
checkModule () { checkModule () {
MODULE="$1" MODULE="$1"
if lsmod | grep "$MODULE" &> /dev/null ; then if lsmod | grep "$MODULE" &> /dev/null ; then