root/bin/reinstall_all @ 11390
1 |
#!/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 |
hidden_srcs=1; . "$selfDir/with_all" 'reinstall quiet=1' |
15 |
}
|
16 |
reinstall_all_main "$@" |