diff options
Diffstat (limited to 'Omni')
-rwxr-xr-x | Omni/Ide/push.sh | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/Omni/Ide/push.sh b/Omni/Ide/push.sh index e16b26a..5c22e07 100755 --- a/Omni/Ide/push.sh +++ b/Omni/Ide/push.sh @@ -16,5 +16,19 @@ where=$(rg --only-matching --replace '$2' --regexp '(domainname ")(.*)(")' \ "$what/etc/systemd/system/domainname.service") nix copy --to ssh://"$USER"@"$where" "$what" ssh "$USER"@"$where" sudo nix-env --profile /nix/var/nix/profiles/system --set "$what" -ssh "$USER"@"$where" sudo "$what"/bin/switch-to-configuration switch +switch_cmd=( + systemd-run + -E LOCALE_ARCHIVE + --collect + --no-ask-password + --pipe + --quiet + --service-type=exec + --unit=push-switch-to-configuration + --wait + "$what/bin/switch-to-configuration" + "switch" +) +# shellcheck disable=SC2029 +ssh "$USER"@"$where" sudo "${switch_cmd[@]}" echo "${GRN}good: push: $target${NC}" |