setup.sh uses /usr/bin/chmod, but depending on distribution, it is not always there.
For example, Ubuntu has /bin/chmod. Fix this by removing the absolute path, like it is
done e.g. with grep.
Signed-off-by: Andre Richter <andre.o.richter@gmail.com>
# make sure regular users can read /dev/vfio
echo "chmod /dev/vfio"
- sudo /usr/bin/chmod a+x /dev/vfio
+ sudo chmod a+x /dev/vfio
if [ $? -ne 0 ] ; then
echo "FAIL"
quit
{
# make sure regular users can read /dev/vfio
echo "chmod /dev/vfio"
- sudo /usr/bin/chmod a+x /dev/vfio
+ sudo chmod a+x /dev/vfio
if [ $? -ne 0 ] ; then
echo "FAIL"
quit
# make sure regular user can access everything inside /dev/vfio
echo "chmod /dev/vfio/*"
- sudo /usr/bin/chmod 0666 /dev/vfio/*
+ sudo chmod 0666 /dev/vfio/*
if [ $? -ne 0 ] ; then
echo "FAIL"
quit