diff options
| -rw-r--r-- | .gitlint | 2 | ||||
| -rwxr-xr-x | Omni/Ide/push.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitlint b/.gitlint new file mode 100644 index 0000000..b18e7c4 --- /dev/null +++ b/.gitlint @@ -0,0 +1,2 @@ +[ignore-body-lines] +regex=^https?:// diff --git a/Omni/Ide/push.sh b/Omni/Ide/push.sh index 43dff28..e16b26a 100755 --- a/Omni/Ide/push.sh +++ b/Omni/Ide/push.sh @@ -15,6 +15,6 @@ what=$(realpath "${CODEROOT:?}/_/nix/$target") 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 "$what"/bin/switch-to-configuration switch ssh "$USER"@"$where" sudo nix-env --profile /nix/var/nix/profiles/system --set "$what" +ssh "$USER"@"$where" sudo "$what"/bin/switch-to-configuration switch echo "${GRN}good: push: $target${NC}" |