Project

General

Profile

1 1957 aaronmk
#!/bin/bash
2
# Reinstalls all inputs at once
3
4 11416 aaronmk
main()
5 1957 aaronmk
{
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 11374 aaronmk
    hidden_srcs=1; . "$selfDir/with_all" 'reinstall quiet=1'
15 1957 aaronmk
}
16 11416 aaronmk
main "$@"