Daniel Barlow
55c7410a55
this makes it possible to install a systemconfig instead of having to use nix-shell (which is very slow)
51 lines
1.0 KiB
Bash
Executable File
51 lines
1.0 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# this shell script can be run on the build system to
|
|
# min-copy-closure the system configuration onto the device
|
|
# and reboot/restart services as requested
|
|
|
|
die() {
|
|
echo "$@"
|
|
exit 1
|
|
}
|
|
|
|
PATH=@min-copy-closure@/bin:$PATH
|
|
|
|
ssh_command=${SSH_COMMAND-ssh}
|
|
|
|
reboot="reboot"
|
|
|
|
case "$1" in
|
|
"--no-reboot")
|
|
unset reboot
|
|
shift
|
|
;;
|
|
"--fast")
|
|
reboot="soft"
|
|
shift
|
|
;;
|
|
esac
|
|
|
|
target_host=$1
|
|
shift
|
|
|
|
test -n "$target_host" || \
|
|
die "Usage: $0 [--no-reboot] [--fast] target-host"
|
|
|
|
toplevel=$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
test -e $toplevel/etc/nix-store-paths || die "missing etc/nix-store-paths, is this really a system configuration?"
|
|
echo installing from systemConfiguration $toplevel to host $target_host
|
|
|
|
min-copy-closure $target_host $toplevel
|
|
$ssh_command $target_host $toplevel/bin/install
|
|
case "$reboot" in
|
|
reboot)
|
|
$ssh_command $target_host "sync; source /etc/profile; reboot"
|
|
;;
|
|
soft)
|
|
$ssh_command $target_host $toplevel/bin/restart-services
|
|
;;
|
|
*)
|
|
;;
|
|
esac
|