diff options
Diffstat (limited to 'Omni/Ide')
-rwxr-xr-x | Omni/Ide/hooks/post-applypatch | 2 | ||||
-rwxr-xr-x | Omni/Ide/hooks/post-commit | 2 | ||||
-rwxr-xr-x | Omni/Ide/hooks/post-rewrite | 2 | ||||
-rwxr-xr-x | Omni/Ide/hooks/pre-auto-gc | 2 | ||||
-rwxr-xr-x | Omni/Ide/hooks/reference-transaction | 2 | ||||
-rwxr-xr-x | Omni/Ide/ns.sh | 1 | ||||
-rwxr-xr-x | Omni/Ide/run.sh | 1 |
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" "$@" |