Revision 11416
Added by Aaron Marcuse-Kubitza about 11 years ago
reinstall_all | ||
---|---|---|
1 | 1 |
#!/bin/bash |
2 | 2 |
# Reinstalls all inputs at once |
3 | 3 |
|
4 |
reinstall_all_main ()
|
|
4 |
main()
|
|
5 | 5 |
{ |
6 | 6 |
local self="${BASH_SOURCE[0]}" |
7 | 7 |
local selfDir="$(dirname -- "$self")" |
... | ... | |
13 | 13 |
|
14 | 14 |
hidden_srcs=1; . "$selfDir/with_all" 'reinstall quiet=1' |
15 | 15 |
} |
16 |
reinstall_all_main "$@" |
|
16 |
main "$@" |
Also available in: Unified diff
bin/*_all: *_main(): renamed to just main() because it does not matter that other shell-includes' main() methods will clobber this, because it is only executed once