Revision 8429368d

View differences:

configure
313 313
    echo "$v"
314 314
}
315 315

  
316
cleanws(){
317
    echo "$@" | sed 's/^ *//;s/  */ /g;s/ *$//'
318
}
319

  
316 320
filter(){
317 321
    pat=$1
318 322
    shift

Also available in: Unified diff