Ticket #288: mindi.diff

File mindi.diff, 682 bytes (added by bwiberg, 15 years ago)

diff -c mindi.dpkg-dist mindi

Line 
1*** mindi.dpkg-dist Mon Oct 13 00:09:34 2008
2--- mindi Sun Nov 9 23:27:48 2008
3***************
4*** 1963,1969 ****
5 # patch from Bill <bill@iwizard.biz> - 2003/08/25
6 res=`$FDISK -s $device 2>> $LOGFILE`
7 # end patch
8! [ "$res" = "" ] && res=`df -k -P -x supermount | tr -s '\t' ' ' | grep -F "$device " | cut -d' ' -f2`
9 [ "$res" = "" ] && res="-1"
10 echo $res
11 return 0
12--- 1963,1969 ----
13 # patch from Bill <bill@iwizard.biz> - 2003/08/25
14 res=`$FDISK -s $device 2>> $LOGFILE`
15 # end patch
16! [ "$res" = "" ] && res=`df -k -P -x supermount | tr -s '\t' ' ' | grep -F "$device " | head -1 | cut -d' ' -f2`
17 [ "$res" = "" ] && res="-1"
18 echo $res
19 return 0