summaryrefslogtreecommitdiff
path: root/Omni/Ide
diff options
context:
space:
mode:
Diffstat (limited to 'Omni/Ide')
-rwxr-xr-xOmni/Ide/hooks/post-applypatch2
-rwxr-xr-xOmni/Ide/hooks/post-commit2
-rwxr-xr-xOmni/Ide/hooks/post-rewrite2
-rwxr-xr-xOmni/Ide/hooks/pre-auto-gc2
-rwxr-xr-xOmni/Ide/hooks/reference-transaction2
-rwxr-xr-xOmni/Ide/ns.sh1
-rwxr-xr-xOmni/Ide/run.sh1
7 files changed, 7 insertions, 5 deletions
diff --git a/Omni/Ide/hooks/post-applypatch b/Omni/Ide/hooks/post-applypatch
index 5071dc5..4919e84 100755
--- a/Omni/Ide/hooks/post-applypatch
+++ b/Omni/Ide/hooks/post-applypatch
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
## START BRANCHLESS CONFIG
git branchless hook post-applypatch "$@"
diff --git a/Omni/Ide/hooks/post-commit b/Omni/Ide/hooks/post-commit
index cd1f195..bdccee3 100755
--- a/Omni/Ide/hooks/post-commit
+++ b/Omni/Ide/hooks/post-commit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
## START BRANCHLESS CONFIG
git branchless hook post-commit "$@"
diff --git a/Omni/Ide/hooks/post-rewrite b/Omni/Ide/hooks/post-rewrite
index 8b3237a..711cc0c 100755
--- a/Omni/Ide/hooks/post-rewrite
+++ b/Omni/Ide/hooks/post-rewrite
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
## START BRANCHLESS CONFIG
git branchless hook post-rewrite "$@"
diff --git a/Omni/Ide/hooks/pre-auto-gc b/Omni/Ide/hooks/pre-auto-gc
index c92a844..30d4a44 100755
--- a/Omni/Ide/hooks/pre-auto-gc
+++ b/Omni/Ide/hooks/pre-auto-gc
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
## START BRANCHLESS CONFIG
git branchless hook pre-auto-gc "$@"
diff --git a/Omni/Ide/hooks/reference-transaction b/Omni/Ide/hooks/reference-transaction
index ea0cce6..474e52d 100755
--- a/Omni/Ide/hooks/reference-transaction
+++ b/Omni/Ide/hooks/reference-transaction
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
## START BRANCHLESS CONFIG
# Avoid canceling the reference transaction in the case that `branchless` fails
diff --git a/Omni/Ide/ns.sh b/Omni/Ide/ns.sh
index a56ed89..cddb35a 100755
--- a/Omni/Ide/ns.sh
+++ b/Omni/Ide/ns.sh
@@ -27,6 +27,7 @@ fzf_flags=(
--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 "alt-e:execute({} ; 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' -- {})"
diff --git a/Omni/Ide/run.sh b/Omni/Ide/run.sh
index 506aa92..e300fcc 100755
--- a/Omni/Ide/run.sh
+++ b/Omni/Ide/run.sh
@@ -3,4 +3,5 @@ set -eu
target=$1
shift
out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out")
+[[ -f "$out" ]] || bild "$target"
exec "${CODEROOT:?}/_/bin/$out" "$@"