#!/bin/bash

# Reinstalls all inputs at once

reinstall_all_main ()

{

    local self="${BASH_SOURCE[0]}"

    local selfDir="$(dirname -- "$self")"

    if test "${BASH_LINENO[1]}" = 0; then # was run without initial "."

        echo "Usage: . $self (note initial \".\")"|fold -s >&2

        return 2

    fi

    . "$selfDir/with_all" 'reinstall log=1'

}

reinstall_all_main "$@"

    Reinstall all datasources at once: . bin/reinstall_all