2023-07-25 13:06:44 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
2023-08-08 08:19:40 +00:00
|
|
|
set -e
|
2023-07-25 13:06:44 +00:00
|
|
|
|
2023-08-08 08:19:40 +00:00
|
|
|
r=0
|
|
|
|
|
|
|
|
executables=$(rpm -ql gpsd-minimal gpsd-minimal-clients | grep -E '/s?bin/')
|
|
|
|
for b in $executables; do
|
|
|
|
case "$(basename "$b")" in
|
|
|
|
gpsdebuginfo)
|
|
|
|
continue;;
|
|
|
|
zerk)
|
|
|
|
h="-h";;
|
|
|
|
*)
|
|
|
|
h="--help";;
|
|
|
|
esac
|
|
|
|
|
|
|
|
if "$b" "$h" |& grep -qi '^usage *:'; then
|
|
|
|
echo "$b OK"
|
|
|
|
else
|
|
|
|
echo "$b FAILED"
|
|
|
|
"$b" "$h" || :
|
|
|
|
r=1
|
|
|
|
fi
|
2023-07-25 13:06:44 +00:00
|
|
|
done
|
|
|
|
|
2023-08-08 08:19:40 +00:00
|
|
|
exit $r
|