diff options
-rwxr-xr-x | inst | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -3,6 +3,7 @@ set -u host= +postinst_pkgs= dev= target= @@ -461,7 +462,7 @@ usage() main() { - local host_file= + local host_files_pfx= local log= exec 3>&1 @@ -471,14 +472,15 @@ main() return 1 fi host="${1}" - host_file="$(dirname "${0}")/hosts/${host}" - if ! [ -r "${host_file}" ]; then + host_files_pfx="$(dirname "${0}")/hosts/${host}" + if ! [ -r "${host_files_pfx}" ]; then err '%s: Unknown host' "${host}" return 1 fi dev="${2}" - . "${host_file}" + . "${host_files_pfx}" + postinst_pkgs="$(sed 's/#.*$//;' "${host_files_pfx}.pkgs")" log="$(mktemp)" exec 4>"${log}" |