File indexing completed on 2024-05-12 17:16:03
0001 #!/bin/sh 0002 0003 display= 0004 lastvalue= 0005 0006 while read line ; do 0007 if [ "${line#\[}" != "$line" ]; then 0008 continue; 0009 fi 0010 KEY="${line%%=*}" 0011 VALUE="${line#*=}" 0012 if echo "$KEY" | grep 'use_kompare_for_diff' >/dev/null 2>/dev/null; then 0013 display=$VALUE 0014 echo '# DELETE [general_items]use_kompare_for_diff' 0015 elif echo "$KEY" | grep 'external_diff_display' > /dev/null 2>/dev/null; then 0016 exdisplay=$VALUE 0017 elif [ "x$KEY" != "x" ]; then 0018 echo "$KEY=$VALUE" 0019 fi 0020 done 0021 0022 if [ "x$exdisplay" = "x" -o "x$display" = "x1" ]; then 0023 exdisplay="kompare -on -" 0024 fi 0025 if [ "x$display" = "x2" -o "x$display" = "x1" ]; then 0026 display=true 0027 else 0028 display=false 0029 fi 0030 echo "use_external_diff=$display" 0031 echo "external_diff_display=$exdisplay"