diff options
| author | Ben Sima <ben@bsima.me> | 2023-01-03 14:13:35 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-01-03 14:13:35 -0500 |
| commit | ad02b2b02da71f0a71c9dcc8bd595afec8e4bee7 (patch) | |
| tree | f990de63d8f5a3b9ff8c6212ee6125b5cea688a1 /Biz/Ide | |
| parent | 68bf0ade5eb712be5c120677b6f4d75551805cb2 (diff) | |
Add nl to push logging output
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/push b/Biz/Ide/push index 7ace897..c4bfb72 100755 --- a/Biz/Ide/push +++ b/Biz/Ide/push @@ -16,4 +16,4 @@ where=$(rg -r '$2' -e '(domainname ")(.*)(")' "$what/activate") nix copy --to ssh://root@$where $what ssh root@$where $what/bin/switch-to-configuration switch ssh root@$where nix-env --profile /nix/var/nix/profiles/system --set $what -printf "${GRN}good: push: $target${NC}" +printf "${GRN}good: push: $target${NC}\n" |