Re-namespace some stuff to Omni

I was getting confused about what is a product and what is internal
infrastructure; I think it is good to keep those things separate. So I moved a
bunch of stuff to an Omni namespace, actually most stuff went there. Only things
that are explicitly external products are still in the Biz namespace.

20 files changed, 0 insertions, 467 deletions

diff --git a/Biz/Ide/MakeTags.py b/Biz/Ide/MakeTags.py
deleted file mode 100755
index add07c0..0000000
--- a/Biz/Ide/MakeTags.py
+++ /dev/null
@@ -1,105 +0,0 @@
-#!/usr/bin/env python
-"""
-Make tags for internal or external code.
-
-This should run fast, and be executable with just Python, meaning it does not
-require a build step.
-"""
-
-# : out maketags
-# : run universal-ctags
-import argparse
-import os
-import pathlib
-import subprocess
-import tarfile
-import zipfile
-
-
-def main() -> None:
-    """Run ctags on internal or external source code.
-
-    Raises:
-        ValueError: if CODEROOT is not set
-        ArgumentError: when explicit paths aren't provided
-    """
-    coderoot = os.environ.get("CODEROOT")
-    if coderoot is None:
-        msg = "CODEROOT not set"
-        raise ValueError(msg)
-    cabsrc = pathlib.Path(coderoot) / "_" / "src"
-    cli = argparse.ArgumentParser()
-    cli.add_argument(
-        "paths",
-        nargs="*",
-        default=".",
-        help="List of paths to run ctags on. Defaults to '.'",
-    )
-    cli.add_argument(
-        "-x",
-        "--external",
-        action="store_true",
-        help=" ".join([
-            "Use this when `paths` is a list of external packages,",
-            f"they will be extracted or linked into {cabsrc}",
-        ]),
-    )
-    args = cli.parse_args()
-    if args.external and args.paths == ".":
-        msg = "requires explicit paths"
-        raise argparse.ArgumentError(argument=args.external, message=msg)
-    if args.external:
-        extract_and_copy(cabsrc, args.paths)
-        ctags(["--recurse=yes"], cwd=cabsrc)
-    else:
-        ctags(["--exclude=*_/*", "--recurse=yes"], cwd=pathlib.Path(coderoot))
-
-
-def strip_nix_hash(path: str) -> str:
-    """Remove the /nix/store/ and hash prefix from a path."""
-    hash_len = 33
-    return path.removeprefix("/nix/store/")[hash_len:]
-
-
-def extract_and_copy(cabsrc: pathlib.Path, paths: list[str]) -> None:
-    """
-    Extract and copy or link sources.
-
-    Loop over `paths`, if the path is an archive, extract it into `cabsrc`. If
-    its a directory, just symlink the directory into `cabsrc`. Either way, we
-    end up with a directory full of source trees for running ctags on.
-    """
-    for path in paths:
-        outpath: pathlib.Path = cabsrc / strip_nix_hash(path)
-        if outpath.exists():
-            continue
-        if path.endswith(".zip"):
-            out = outpath.with_suffix("")
-            if out.exists():
-                continue
-            zipfile.ZipFile(path).extractall(out)  # noqa: S202
-        elif path.endswith(".tar.gz"):
-            out = outpath.with_suffix("").with_suffix("")
-            if out.exists():
-                continue
-            with tarfile.open(path) as tarball:
-                tarball.extractall(out)  # noqa: S202
-        elif pathlib.Path(path).is_dir():
-            outpath.symlink_to(path)
-
-
-def ctags(args: list[str], cwd: pathlib.Path = pathlib.Path()) -> None:
-    """Call `ctags` with `args` for both emacs and vim."""
-    os.chdir(cwd)
-    excludes = [
-        "--exclude=.mypy_cache",
-        "--exclude=.git",
-        "--exclude=.direnv",
-        "--exclude=.ruff_cache",
-    ]
-    subprocess.check_call(["ctags", *excludes, *args])
-    subprocess.check_call(["ctags", "-e", *excludes, *args])
-
-
-if __name__ == "__main__":
-    main()
diff --git a/Biz/Ide/ftags.sh b/Biz/Ide/ftags.sh
deleted file mode 100755
index b29d994..0000000
--- a/Biz/Ide/ftags.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/usr/bin/env bash
-#
-# search tags with fzf
-#
-  set -euo pipefail
-  tags=${CODEROOT:?}/tags
-  tag_search=$(
-    awk 'BEGIN { FS="\t" } !/^!/ {print toupper($4)"\t"$1"\t"$2"\t"$3}' "$tags" \
-      | cut -c1-80 \
-      | fzf-tmux \
-        --nth=1,2 \
-        --preview-window=down,border-none \
-        --bind="pgdn:preview-page-down" \
-        --bind="pgup:preview-page-up" \
-        --preview "rg --pretty --context 2 --fixed-strings --regexp {+2}"
-  )
-  ${EDITOR:-vim} \
-    "$(cut -f3 <<< "$tag_search")" \
-    -c "set nocst" \
-    -c "silent tag $(cut -f2 <<< "$tag_search")"
-##
diff --git a/Biz/Ide/hoog.sh b/Biz/Ide/hoog.sh
deleted file mode 100755
index 237eb78..0000000
--- a/Biz/Ide/hoog.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env bash
-#
-# search hoogle with fzf
-#
-  set -euo pipefail
-  HOOG="hoogle search --count=200"
-  export FZF_DEFAULT_COMMAND="$HOOG $*"
-  result=$(fzf-tmux \
-    --preview-window=down,border-none \
-    --preview "hoogle search --link --info {+2}" \
-    --bind "change:reload:$HOOG {q} || true" \
-    --ansi \
-    | cut -d' ' -f 1,2 \
-    | sed -e 's/ /./g'
-  )
-  hoogle search --info "$result"
-##
diff --git a/Biz/Ide/hooks/commit-msg b/Biz/Ide/hooks/commit-msg
deleted file mode 100755
index e07d1f4..0000000
--- a/Biz/Ide/hooks/commit-msg
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-if ! gitlint --ignore-stdin --staged --msg-filename "$1" run-hook; then
-  backup="$CODEROOT"/.git/COMMIT_EDITMSG.backup
-  cp "$CODEROOT"/.git/COMMIT_EDITMSG "$backup"
-  echo "error:  gitlint failed, saved your commit msg as $backup"
-  exit 1
-fi
diff --git a/Biz/Ide/hooks/post-applypatch b/Biz/Ide/hooks/post-applypatch
deleted file mode 100755
index 5071dc5..0000000
--- a/Biz/Ide/hooks/post-applypatch
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-## START BRANCHLESS CONFIG
-
-git branchless hook post-applypatch "$@"
-
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout
deleted file mode 100755
index 4f58c74..0000000
--- a/Biz/Ide/hooks/post-checkout
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env bash
-set -e
-function MakeTags {
-  ${CODEROOT:?}/Biz/Ide/MakeTags.py
-}
-old=$1
-new=$2
-# filter out only the changed haskell files
-mapfile -t changed < <(git diff --diff-filter=d --name-only "$old" "$new" -- '*.hs')
-if [[ ! -r tags ]] || [[ ! -r TAGS ]]
-then
-    MakeTags "$CODEROOT"/**/*
-elif [[ ${#changed[@]} -gt 0 ]]
-then
-    MakeTags "${changed[@]}"
-fi
-## START BRANCHLESS CONFIG
-
-git branchless hook post-checkout "$@"
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/post-commit b/Biz/Ide/hooks/post-commit
deleted file mode 100755
index cd1f195..0000000
--- a/Biz/Ide/hooks/post-commit
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-## START BRANCHLESS CONFIG
-
-git branchless hook post-commit "$@"
-
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/post-merge b/Biz/Ide/hooks/post-merge
deleted file mode 100755
index d2cfa63..0000000
--- a/Biz/Ide/hooks/post-merge
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-"${CODEROOT:?}"/Biz/Ide/hooks/post-checkout 'HEAD@{1}' HEAD
-## START BRANCHLESS CONFIG
-
-git branchless hook post-merge "$@"
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/post-rewrite b/Biz/Ide/hooks/post-rewrite
deleted file mode 100755
index 8b3237a..0000000
--- a/Biz/Ide/hooks/post-rewrite
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-## START BRANCHLESS CONFIG
-
-git branchless hook post-rewrite "$@"
-
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/pre-auto-gc b/Biz/Ide/hooks/pre-auto-gc
deleted file mode 100755
index c92a844..0000000
--- a/Biz/Ide/hooks/pre-auto-gc
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-## START BRANCHLESS CONFIG
-
-git branchless hook pre-auto-gc "$@"
-
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/hooks/pre-commit b/Biz/Ide/hooks/pre-commit
deleted file mode 100755
index b0f204a..0000000
--- a/Biz/Ide/hooks/pre-commit
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/usr/bin/env bash
-#
-# - prevent frozen code from being checked in
-# - guard against lint errors
-##
-  set -e
-  mapfile -t changed < <(git diff-index --cached --name-only HEAD)
-  for ns in "${changed[@]}"
-  do
-    version=$("${CODEROOT:?}"/Biz/Ide/version.sh "$ns")
-    if [[ $version -eq -1 ]]; then
-      echo "info:  version:  $ns:  deleted"
-    elif [[ $version -lt 1 ]]; then
-      echo "fail:  version:  $ns:  $version"
-      exit 1
-    else
-      echo "info:  version:  $ns:  $version"
-    fi
-  done
-  lint "${changed[@]}"
-##
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
deleted file mode 100755
index 00110bd..0000000
--- a/Biz/Ide/hooks/pre-push
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-remote="$1"
-z40=0000000000000000000000000000000000000000
-IFS=" "
-while read local_ref local_sha remote_ref remote_sha
-do
-  if [ "$local_sha" = $z40 ]
-  then
-    # delete, do nothing
-    continue
-  elif [ "$remote_sha" = $z40 ]
-  then
-    # new branch, test all commits since ci was implemented
-    range="11d95581fb178a5d21e88dfd8030a61886cc2519..$local_sha"
-  else
-    range="$remote_sha..$local_sha"
-  fi
-done
-gitlint --commits "$range" lint
-git test run --command ci "$range"
-git push "$remote" refs/notes/ci --no-verify
diff --git a/Biz/Ide/hooks/reference-transaction b/Biz/Ide/hooks/reference-transaction
deleted file mode 100755
index ea0cce6..0000000
--- a/Biz/Ide/hooks/reference-transaction
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-## START BRANCHLESS CONFIG
-
-# Avoid canceling the reference transaction in the case that `branchless` fails
-# for whatever reason.
-git branchless hook reference-transaction "$@" || (
-echo 'branchless: Failed to process reference transaction!'
-echo 'branchless: Some events (e.g. branch updates) may have been lost.'
-echo 'branchless: This is a bug. Please report it.'
-)
-
-## END BRANCHLESS CONFIG
diff --git a/Biz/Ide/ns.sh b/Biz/Ide/ns.sh
deleted file mode 100755
index a56ed89..0000000
--- a/Biz/Ide/ns.sh
+++ /dev/null
@@ -1,50 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-nss="fd --color=always --exclude=_ -t f . \"${CODEROOT:?}\" | sed \"s,${CODEROOT:?}/*,,g\""
-keybindings=$(cat <<EOF
-repl {}:enter
-repl --bash {}:alt+enter
-edit {} with $EDITOR:tab
-lint -f {}:alt+c
-bild {}:alt+space
-bild --test {}:alt+t
-exec {}:alt+e
-ship {}:ctrl+space
-create new namespace:alt+n
-change preview window:alt+0-6
-resize preview window:ctrl+/
-EOF
-)
-fzf_flags=(
-  --ansi
-  --bind "focus:transform-preview-label:echo {}"
-  --bind "?:change-preview(column -o ' -> ' -s':' -t <<< \"$keybindings\")"
-  --bind "alt-n:execute(touch {q})+reload($nss)"
-  --bind "alt-space:execute(bild {} ; read -p [fin])"
-  --bind "tab:execute($EDITOR {})"
-  --bind "alt-c:execute(lint -f {} ; read -p [fin])"
-  --bind "enter:execute(repl.sh {})"
-  --bind "alt-enter:execute(repl.sh --bash {})"
-  --bind "ctrl-space:execute(ship.sh {} ; read -p [fin])"
-  --bind "alt-t:execute(bild {} ; run.sh {} test ; read -p [fin])"
-  --bind "ctrl-/:change-preview-window(right,88|right,70%|hidden|)"
-  --bind "alt-0:change-preview(bat -p --color=always {})"
-  --bind "alt-1:change-preview(git log --color=always --date=relative --abbrev-commit --pretty=format:'%Cred%h%Creset %s / %an %Creset%C(yellow)%d%Creset%Cgreen(%cr)%Creset' -- {})"
-  --bind "alt-2:change-preview(git log --color=always {})"
-  --bind "alt-3:change-preview(git log --color=always -p {})"
-  --bind "alt-4:change-preview(git blame -c --date=short {})"
-  --bind "alt-5:change-preview(git log --pretty=short {} | git shortlog -nse)"
-  --bind "alt-6:change-preview(git log --pretty=short {} | git shortlog)"
-  --bind "backward-eof:abort"
-  --bind "pgup:preview-page-up"
-  --bind "pgdn:preview-page-down"
-  --header-first
-  --header="? for keybindings"
-  --border=top
-  --border-label="$(lolcat -f <<< "hack a namespace")"
-  --color=label:italic
-  --preview-window="bottom,80%"
-  --preview "bat -p --color=always {}"
-)
-sh -c "$nss" | fzf "${fzf_flags[@]}"
-
diff --git a/Biz/Ide/push.sh b/Biz/Ide/push.sh
deleted file mode 100755
index 43dff28..0000000
--- a/Biz/Ide/push.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/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=${PWD/$CODEROOT}
-if [[ "$prefix" == "" ]]
-then
-  target="$1"
-else
-  target="$prefix.$1"
-fi
-what=$(realpath "${CODEROOT:?}/_/nix/$target")
-# hack: get the domain from the systemd service. there does not seem to be a way
-# to get it from nix-instantiate. (or, maybe i should put this in bild --plan?)
-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"
-echo "${GRN}good:  push:  $target${NC}"
diff --git a/Biz/Ide/repl.sh b/Biz/Ide/repl.sh
deleted file mode 100755
index ceedb71..0000000
--- a/Biz/Ide/repl.sh
+++ /dev/null
@@ -1,84 +0,0 @@
-#!/usr/bin/env bash
-###
-### a simple complement to bild which only deals with launching repls
-###
-### > repl [opts] <target..>
-###
-### Starts a repl/shell for one or more targets. (Currently, all targets must
-### have the same extension for this to work.) Repls started with this script
-### should bind to `localhost:$PORT`.
-###
-### Options:
-###   --bash   start bash instead of the target language repl
-help() {
-    sed -rn 's/^### ?//;T;p' "$0"
-}
-if [[ $# == 0 ]] || [[ "$1" == "-h" ]]; then
-    help
-    exit 1
-fi
-##
-  set -e
-  CMD=
-  if [[ "$1" == "--bash" ]]; then
-    CMD="bash"
-    shift
-  fi
-  targets="${*:?}"
-  json=$(bild --plan "${targets[@]}")
-  mapfile -t langdeps < <(jq --raw-output '.[].langdeps | select(length > 0) | join("\n")' <<< "$json")
-  mapfile -t sysdeps < <(jq --raw-output '.[].sysdeps | select(length > 0) | join("\n")' <<< "$json")
-  mapfile -t rundeps < <(jq --raw-output '.[].rundeps | select(length > 0) | join("\n")' <<< "$json")
-  exts=$(jq --raw-output '.[].namespace.ext' <<< "$json" | sort | uniq)
-  packageSet=$(jq --raw-output '.[].packageSet' <<< "$json")
-  module=$(jq --raw-output '.[].mainModule' <<< "$json")
-  BILD="(import ${CODEROOT:?}/Biz/Bild.nix {})"
-  declare -a flags=(--packages "$BILD.pkgs.pkg-config")
-  for lib in "${sysdeps[@]}"; do
-    flags+=(--packages "$BILD.pkgs.${lib}")
-  done
-  for lib in "${rundeps[@]}"; do
-    flags+=(--packages "$BILD.pkgs.${lib}")
-  done
-  case $exts in
-    C)
-      flags+=(--packages "$BILD.pkgs.gcc")
-      command="bash"
-      ;;
-    Hs)
-      if [ -z ${var+PORT} ]; then
-        echo "warn:  repl:  ghci does not support binding to a port"
-      fi
-      flags+=(--packages "$BILD.haskell.ghcWith (h: with h; [${langdeps[*]}])")
-      command=${CMD:-"ghci -i${CODEROOT:?} -ghci-script ${CODEROOT:?}/.ghci ${targets[@]}"}
-      ;;
-    Scm)
-      for lib in "${langdeps[@]}"; do
-        flags+=(--packages "$BILD.guile-${lib}")
-      done
-      flags+=(--packages "$BILD.guile")
-      command=${CMD:-"guile -L ${CODEROOT:?} -C ${CODEROOT:?}/_/int --r7rs --listen=${PORT:-37146}"}
-      ;;
-    Lisp)
-      flags+=(--packages "$BILD.$packageSet (p: with p; [asdf swank ${langdeps[*]}])")
-      command=${CMD:-"sbcl --eval '(require :asdf)' --eval '(require :swank)' --eval '(swank:create-server :port ${PORT:-4005})' --load $targets"}
-      ;;
-    Rs)
-      flags+=(--packages "$BILD.pkgs.rustc")
-      command=bash
-      ;;
-    Py)
-      langdeps+=("mypy")
-      flags+=(--packages "$BILD.python.pythonWith (p: with p; [${langdeps[*]}])")
-      PYTHONPATH=$CODEROOT:$PYTHONPATH
-      pycommand="python -i $CODEROOT/Biz/Repl.py $module ${targets[*]}"
-      command=${CMD:-"$pycommand"}
-      ;;
-    *)
-      echo "unsupported targets: ${targets[*]}"
-      exit 1
-      ;;
-  esac
-##
-  nix-shell "${flags[@]}" --command "$command" --show-trace
-##
diff --git a/Biz/Ide/run.sh b/Biz/Ide/run.sh
deleted file mode 100755
index 506aa92..0000000
--- a/Biz/Ide/run.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-set -eu
-target=$1
-shift
-out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out")
-exec "${CODEROOT:?}/_/bin/$out" "$@"
diff --git a/Biz/Ide/ship.sh b/Biz/Ide/ship.sh
deleted file mode 100755
index 8783e9b..0000000
--- a/Biz/Ide/ship.sh
+++ /dev/null
@@ -1,25 +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
-    mapfile -t stuff < <(fd -t l . "$CODEROOT/_/nix/" \
-      | sed "s,$CODEROOT/_/nix/,,g" \
-      | fzf --multi --prompt="ship _/nix/" \
-        --preview="file $CODEROOT/_/nix/{}" \
-        --preview-window=bottom,wrap
-    )
-  fi
-  lint "${stuff[@]}"
-  bild --test "${stuff[@]}"
-  for thing in "${stuff[@]}"
-  do
-    push.sh "$thing"
-  done
-##
diff --git a/Biz/Ide/tips.sh b/Biz/Ide/tips.sh
deleted file mode 100755
index c572022..0000000
--- a/Biz/Ide/tips.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/usr/bin/env bash
-echo ""
-echo "bizdev" | figlet | lolcat
-echo ""
-echo "   bild      compile code"
-echo "   repl.sh   start a repl"
-echo "   deps      manage dependencies with niv"
-echo "   tips.sh   show this message"
-echo "   lint      auto-lint all changed files"
-echo "   push.sh   send a namespace to the cloud"
-echo "   ship.sh   lint, bild, and push one (or all) namespace(s)"
-echo ""
diff --git a/Biz/Ide/version.sh b/Biz/Ide/version.sh
deleted file mode 100755
index 60f9c91..0000000
--- a/Biz/Ide/version.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/usr/bin/env bash
-#
-# simple implementation of kelvin versioning
-##
-  ns=$1
-  if [[ -e "$1" ]]; then
-    commits=$(git log --oneline --follow "$ns" | wc -l)
-    # gold melts at 1337 kelvin, so we start with this
-    # bc we are forging gold here
-    version=$(bc -l <<< "1337 - $commits")
-    echo "$version"
-  else
-    echo -1  # signal that file doesn't exist
-  fi
-##