equal
deleted
inserted
replaced
25 WRITE_HEADER=( |
25 WRITE_HEADER=( |
26 "true" |
26 "true" |
27 "false" |
27 "false" |
28 ) |
28 ) |
29 |
29 |
30 if [[ "$w1" == "--write-header" ]]; then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0")) |
30 if [[ "$w1" == "--write-header" ]]; then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0")) |
|
31 elif [[ "$w1" == "--write-types" ]]; then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0")) |
31 else |
32 else |
32 OPTIONS=( |
33 OPTIONS=( |
33 "--write-header" |
34 "--write-header" |
|
35 "--write-types" |
34 ) |
36 ) |
35 COMPREPLY=($(compgen -W "${OPTIONS[*]}" -- "$w0")) |
37 COMPREPLY=($(compgen -W "${OPTIONS[*]}" -- "$w0")) |
36 fi |
38 fi |
37 } |
39 } |
38 |
40 |