Revision 2b444ea7

View differences:

configure
1488 1488
show_list() {
1489 1489
    suffix=_$1
1490 1490
    shift
1491
    echo $* | sed s/$suffix//g | tr ' ' '\n' | sort
1491
    echo $* | sed s/$suffix//g | tr ' ' '\n' | sort | pr -3 -t
1492 1492
    exit 0
1493 1493
}
1494 1494

  

Also available in: Unified diff