summaryrefslogtreecommitdiff
path: root/Biz/Ide/push.bash
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2023-10-10 13:15:59 -0400
committerBen Sima <ben@bsima.me>2023-10-10 13:15:59 -0400
commit904de577261e7024373e7a42fd763184764238f9 (patch)
tree563e4968eab568466ae3e7a1c747dd24a77986c0 /Biz/Ide/push.bash
parent6107f8178e26ada67e5d5ec60501e24528b3db56 (diff)
Don't swallow namespace-parsing errors
Previously, if there was a problem with the inputs and bild failed to determine the namespace, 'fromPath' would return 'Nothing' and then 'catMaybes' would drop the error-causing input altogether. In the one time that I had a bad input, this made debugging incredibly difficult. It's always a bad idea to swallow errors silently, so instead lets just kill the program if we have bad inputs.
Diffstat (limited to 'Biz/Ide/push.bash')
-rwxr-xr-xBiz/Ide/push.bash19
1 files changed, 19 insertions, 0 deletions
diff --git a/Biz/Ide/push.bash b/Biz/Ide/push.bash
new file mode 100755
index 0000000..2238e06
--- /dev/null
+++ b/Biz/Ide/push.bash
@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+# Eventually convert to haskell, see:
+# - https://github.com/awakesecurity/nix-deploy/blob/master/src/Main.hs
+# - http://www.haskellforall.com/2018/08/nixos-in-production.html
+prefix=$(echo $PWD | sed -e "s|^${CODEROOT:?}/*||g")
+if [[ "$prefix" == "" ]]
+then
+ target="$1"
+else
+ target="$prefix.$1"
+fi
+what=$(realpath "${CODEROOT:?}/_/nix/$target")
+# hack: get the domain from the activation script. there does not seem
+# to be a way to get it from nix-instantiate
+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}\n"