1#!/bin/sh 2 3display= 4lastvalue= 5 6while read line ; do 7 if [ "${line#\[}" != "$line" ]; then 8 continue; 9 fi 10 KEY="${line%%=*}" 11 VALUE="${line#*=}" 12 if echo "$KEY" | grep 'use_kompare_for_diff' >/dev/null 2>/dev/null; then 13 display=$VALUE 14 echo '# DELETE [general_items]use_kompare_for_diff' 15 elif echo "$KEY" | grep 'external_diff_display' > /dev/null 2>/dev/null; then 16 exdisplay=$VALUE 17 elif [ "x$KEY" != "x" ]; then 18 echo "$KEY=$VALUE" 19 fi 20done 21 22if [ "x$exdisplay" = "x" -o "x$display" = "x1" ]; then 23 exdisplay="kompare -on -" 24fi 25if [ "x$display" = "x2" -o "x$display" = "x1" ]; then 26 display=true 27else 28 display=false 29fi 30echo "use_external_diff=$display" 31echo "external_diff_display=$exdisplay" 32