diff options
| author | tdro <tdro@users.noreply.github.com> | 2023-01-21 01:52:27 -0500 |
|---|---|---|
| committer | tdro <tdro@users.noreply.github.com> | 2023-01-21 01:52:27 -0500 |
| commit | 38e063dfb6178b851e3d6feeaf2b0a9213460e92 (patch) | |
| tree | 5e7f4828f98615de6c8ce545aff1460b09498120 | |
| parent | c3dfa021029d50deaf8f1143c3527e73abf65b23 (diff) | |
| download | dotfiles-38e063dfb6178b851e3d6feeaf2b0a9213460e92.tar.gz dotfiles-38e063dfb6178b851e3d6feeaf2b0a9213460e92.tar.bz2 dotfiles-38e063dfb6178b851e3d6feeaf2b0a9213460e92.zip | |
.local/bin/wrappers: Add more programs
| -rwxr-xr-x | .local/bin/wrappers/ghci | 2 | ||||
| -rwxr-xr-x | .local/bin/wrappers/mix | 2 | ||||
| -rwxr-xr-x | .local/bin/wrappers/sbcl | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/.local/bin/wrappers/ghci b/.local/bin/wrappers/ghci new file mode 100755 index 0000000..75f3577 --- /dev/null +++ b/.local/bin/wrappers/ghci @@ -0,0 +1,2 @@ +#!/bin/sh -eu +HOME=$HOME/.config && $(which ghci --all | grep --invert-match "local/bin" | head -n 1) "$@"; diff --git a/.local/bin/wrappers/mix b/.local/bin/wrappers/mix new file mode 100755 index 0000000..c687a2d --- /dev/null +++ b/.local/bin/wrappers/mix @@ -0,0 +1,2 @@ +#!/bin/sh -eu +HOME=$HOME/.config && $(which mix --all | grep --invert-match "local/bin" | head -n 1) "$@"; diff --git a/.local/bin/wrappers/sbcl b/.local/bin/wrappers/sbcl new file mode 100755 index 0000000..b5ba6ea --- /dev/null +++ b/.local/bin/wrappers/sbcl @@ -0,0 +1,2 @@ +#!/bin/sh -eu +HOME=$HOME/.config && $(which sbcl --all | grep --invert-match "local/bin" | head -n 1) "$@"; |