summaryrefslogtreecommitdiff
path: root/Biz/Ide/ship
diff options
context:
space:
mode:
Diffstat (limited to 'Biz/Ide/ship')
-rwxr-xr-xBiz/Ide/ship23
1 files changed, 0 insertions, 23 deletions
diff --git a/Biz/Ide/ship b/Biz/Ide/ship
deleted file mode 100755
index 33197c8..0000000
--- a/Biz/Ide/ship
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/usr/bin/env bash
-#
-# ship <target>...
-#
-# lint, bild, test, and push one or more targets. if no targets are supplied,
-# ship everything we know how to ship
-##
- set -eu
- stuff=(${@})
- if [[ ${#stuff[@]} -eq 0 ]]
- then
- stuff=$(fd -t l . "$CODEROOT/_" \
- | fzf --multi \
- | sed "s,$CODEROOT/_/nix/,,g"
- )
- fi
- lint ${stuff[@]}
- bild --test ${stuff[@]}
- for thing in ${stuff[@]}
- do
- push $thing
- done
-##