Skip to content
This repository was archived by the owner on Aug 30, 2025. It is now read-only.
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions bin/activate_version_manager.sh
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ _try_activating_asdf() {
}

_try_activating_rtx() {
if which rtx >/dev/null; then
if which rtx >/dev/null 2>&1; then
echo >&2 "Found rtx. Activating..."
eval "$(rtx activate bash)"
eval "$(rtx env)"
Expand All @@ -87,7 +87,7 @@ _try_activating_rtx() {
}

_try_activating_mise() {
if which mise >/dev/null; then
if which mise >/dev/null 2>&1; then
echo >&2 "Found mise. Activating..."
eval "$(mise activate bash)"
eval "$(mise env)"
Expand Down
11 changes: 10 additions & 1 deletion bin/start_lexical.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,16 @@
#!/usr/bin/env bash
set -o pipefail

script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd)"
# find script file, even if we're a link pointing to it
script_file=${BASH_SOURCE[0]}
while [ -L "$script_file" ]; do
script_dir=$(cd -P "$( dirname "$script_file" )" >/dev/null 2>&1 && pwd)
script_file=$(readlink "$script_file")
[[ $script_file != /* ]] && script_file=$script_dir/$script_file
done

# set script_dir to parent dir of script_file
script_dir=$(cd -P "$( dirname "$script_file" )" >/dev/null 2>&1 && pwd)

# shellcheck disable=SC1091
if ! . "$script_dir"/activate_version_manager.sh; then
Expand Down