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