diff options
author | Ben Sima <ben@bsima.me> | 2021-06-14 10:39:17 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:36 -0500 |
commit | 9dcfb66c99909d1b51a76bdaf75ddbdb030fe270 (patch) | |
tree | d6c278aaec0416acb606d3ac2110f08c07c20b7c /Biz/Ide | |
parent | ce1edea5da3318aea15dea0236aac421642a483e (diff) |
Move commands and add ns function
Diffstat (limited to 'Biz/Ide')
-rwxr-xr-x | Biz/Ide/bild | 2 | ||||
-rwxr-xr-x | Biz/Ide/lint | 2 | ||||
-rwxr-xr-x | Biz/Ide/ns | 27 | ||||
-rwxr-xr-x | Biz/Ide/push | 19 | ||||
-rwxr-xr-x | Biz/Ide/ship | 18 |
5 files changed, 68 insertions, 0 deletions
diff --git a/Biz/Ide/bild b/Biz/Ide/bild new file mode 100755 index 0000000..0dd4afb --- /dev/null +++ b/Biz/Ide/bild @@ -0,0 +1,2 @@ +#!/usr/bin/env bash +timeout 5m runghc -i$BIZ_ROOT Biz.Bild $@ diff --git a/Biz/Ide/lint b/Biz/Ide/lint new file mode 100755 index 0000000..3f98dcb --- /dev/null +++ b/Biz/Ide/lint @@ -0,0 +1,2 @@ +#!/usr/bin/env bash +runghc -i$BIZ_ROOT Biz.Lint $@ diff --git a/Biz/Ide/ns b/Biz/Ide/ns new file mode 100755 index 0000000..2791903 --- /dev/null +++ b/Biz/Ide/ns @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +if [[ $NS == "" ]] +then + export NS=$(fd --exclude=_ -t f . $BIZ_ROOT | fzf) +fi + +if [[ $VERB == "" ]] +then + export VERB=$(fzf <<< $(sed 's/ /\n/g' <<< "edit bild push ship lint")) +fi + +$VERB $NS + +read -p "n to change ns, v to change verb, enter to continue, or ^C to exit" -n 1 input + +if [[ $input == "v" ]] +then + unset VERB + $0 +elif [[ $input == "n" ]] +then + unset NS + $0 +else + $0 +fi diff --git a/Biz/Ide/push b/Biz/Ide/push new file mode 100755 index 0000000..a0109e8 --- /dev/null +++ b/Biz/Ide/push @@ -0,0 +1,19 @@ +#!/usr/bin/env bash +# TODO: 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|^$BIZ_ROOT/*||g") +if [[ "$prefix" == "" ]] +then + target="$1" +else + target="$prefix.$1" +fi +what=$(realpath "$BIZ_ROOT/_/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}" diff --git a/Biz/Ide/ship b/Biz/Ide/ship new file mode 100755 index 0000000..9a17d99 --- /dev/null +++ b/Biz/Ide/ship @@ -0,0 +1,18 @@ +#!/usr/bin/env bash +# TODO: convert to haskell +stuff=(${@}) +if [[ ${#stuff[@]} -eq 0 ]] +then + stuff=( + Biz/Cloud.nix + Biz/Dev.nix + Biz/Que/Prod.nix + # Hero/Prod.nix # disabled bc herocomcis.app domain is broken + ) +fi +lint \ + && bild --test ${stuff[@]} \ + && for thing in ${stuff[@]} + do + push $thing + done |