root/bin/reinstall_all @ 5159
| 1 | 1957 | aaronmk | #!/bin/bash
|
|---|---|---|---|
| 2 | # Reinstalls all inputs at once
|
||
| 3 | |||
| 4 | reinstall_all_main ()
|
||
| 5 | {
|
||
| 6 | local self="${BASH_SOURCE[0]}" |
||
| 7 | local selfDir="$(dirname -- "$self")" |
||
| 8 | |||
| 9 | if test "${BASH_LINENO[1]}" = 0; then # was run without initial "." |
||
| 10 | echo "Usage: . $self (note initial \".\")"|fold -s >&2 |
||
| 11 | return 2
|
||
| 12 | fi
|
||
| 13 | |||
| 14 | 1972 | aaronmk | . "$selfDir/with_all" 'reinstall quiet=1' |
| 15 | 1957 | aaronmk | }
|
| 16 | reinstall_all_main "$@" |