wok diff dmraid/stuff/grub-dmraid @ rev 23889

created get-anydesk
author: Hans-G?nter Theisgen
date: Fri Jul 24 11:12:22 2020 +0100 (2020-07-24)
parents: 8db9118bfcb7
     1.1 --- a/dmraid/stuff/grub-dmraid	Sat Sep 05 11:28:55 2009 +0200
     1.2 +++ b/dmraid/stuff/grub-dmraid	Fri Jul 24 11:12:22 2020 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  # Get raid parameters
     1.6  dev=/dev/mapper/$(dmraid -s 2> /dev/null | grep ^name | awk '{ print $3 }')
     1.7 -if [ "$dev" == "/dev/mapper/" ]; then
     1.8 +if [ "$dev" = "/dev/mapper/" ]; then
     1.9  	echo "No dmraid device found." 1>&2
    1.10  	exit 1
    1.11  fi