moved to devenv

This commit is contained in:
2026-06-22 12:07:27 +01:00
parent 72c93e88c1
commit 192564fb79
34 changed files with 15242 additions and 108 deletions

163
.devenv/shell-rcfile.sh Normal file
View File

@@ -0,0 +1,163 @@
# Disable history during init so devenv internal commands don't pollute history.
set +o history
# Environment diff helpers (always defined for tracking)
# Environment diff helpers (inspired by direnv)
# Diff is stored in _DEVENV_DIFF env var (not a file) so each shell has its own state
# Uses gzip+base64 encoding for compact storage
# Variables to ignore in diff (shell internals that change dynamically)
__devenv_ignored_var() {
case "$1" in
_*|PWD|OLDPWD|SHLVL|SHELL|SHELLOPTS|BASHOPTS|BASH_*|HISTCMD|HISTFILE)
return 0 ;;
PS1|PS2|PS3|PS4|PROMPT|PROMPT_COMMAND|PROMPT_DIRTRIM)
return 0 ;;
COMP_*|READLINE_*|MAILCHECK|COLUMNS|LINES|RANDOM|SECONDS|LINENO|EPOCHSECONDS|EPOCHREALTIME|SRANDOM)
return 0 ;;
STARSHIP_*|__fish*|DIRENV_*|nix_saved_*)
return 0 ;;
*)
return 1 ;;
esac
}
__devenv_capture_env() {
# Capture exported variables using declare -p for proper escaping
declare -p -x 2>/dev/null | LC_ALL=C sort
}
__devenv_serialize_diff() {
# Serialize diff (stdin) to base64-encoded gzip
gzip -c | base64 -w0
}
__devenv_deserialize_diff() {
# Deserialize diff from base64-encoded gzip to stdout
echo "$1" | base64 -d | gzip -d 2>/dev/null
}
__devenv_compute_diff() {
# Compare before ($1) and current env, return diff via _DEVENV_DIFF env var
local before_file="$1"
# Create temp files
local after_file diff_content
after_file=$(mktemp)
diff_content=$(mktemp)
__devenv_capture_env > "$after_file"
# Build associative arrays for before/after
local -A before_vars after_vars
while IFS= read -r line; do
[[ "$line" != declare\ -x\ * ]] && continue
local vardef="${line#declare -x }"
local var="${vardef%%=*}"
[[ -z "$var" ]] && continue
__devenv_ignored_var "$var" && continue
before_vars["$var"]="$line"
done < "$before_file"
while IFS= read -r line; do
[[ "$line" != declare\ -x\ * ]] && continue
local vardef="${line#declare -x }"
local var="${vardef%%=*}"
[[ -z "$var" ]] && continue
__devenv_ignored_var "$var" && continue
after_vars["$var"]="$line"
done < "$after_file"
# Find PREV entries (vars that were modified or removed)
for var in "${!before_vars[@]}"; do
if [[ "${after_vars[$var]}" != "${before_vars[$var]}" ]]; then
echo "P:${before_vars[$var]}" >> "$diff_content"
fi
done
# Find NEXT entries (vars that were added or modified)
for var in "${!after_vars[@]}"; do
if [[ -z "${before_vars[$var]+x}" ]]; then
echo "N:$var" >> "$diff_content"
elif [[ "${after_vars[$var]}" != "${before_vars[$var]}" ]]; then
echo "N:$var" >> "$diff_content"
fi
done
# Serialize and store in env var
_DEVENV_DIFF=$(__devenv_serialize_diff < "$diff_content")
export _DEVENV_DIFF
rm -f "$after_file" "$diff_content"
}
__devenv_apply_reverse_diff() {
# Reverse the diff: restore PREV values, unset NEXT-only vars
[[ -z "$_DEVENV_DIFF" ]] && return
local -A prev_vars
local diff_content
diff_content=$(__devenv_deserialize_diff "$_DEVENV_DIFF")
# First pass: collect and restore PREV declarations
while IFS= read -r line; do
if [[ "$line" == P:declare\ * ]]; then
local decl="${line#P:}"
local var="${decl#declare -x }"
var="${var%%=*}"
prev_vars["$var"]=1
# Use export instead of evaluating the declare statement directly,
# because declare -x inside a function creates a local variable
# in bash 5.0+.
eval "export ${decl#declare -x }" 2>/dev/null
fi
done <<< "$diff_content"
# Second pass: unset NEXT vars that were not in PREV (added vars)
while IFS= read -r line; do
if [[ "$line" == N:* ]]; then
local var="${line#N:}"
if [[ -z "${prev_vars[$var]+x}" ]]; then
unset "$var"
fi
fi
done <<< "$diff_content"
}
# Capture environment BEFORE sourcing devenv (for diff tracking)
_devenv_before_file=$(mktemp)
__devenv_capture_env > "$_devenv_before_file"
# Source the devenv environment
source "/home/user01/Projects/score-system/.devenv/shell-env.sh"
# Compute and store the initial diff in _DEVENV_DIFF env var
__devenv_compute_diff "$_devenv_before_file"
rm -f "$_devenv_before_file"
unset _devenv_before_file
# Save PATH before zsh init potentially modifies it
export _DEVENV_PATH="$PATH"
# Save original ZDOTDIR so zsh init can restore it
if [ -n "$ZDOTDIR" ]; then
export _DEVENV_REAL_ZDOTDIR="$ZDOTDIR"
fi
# Point ZDOTDIR to our init directory containing our .zshrc
export ZDOTDIR="/home/user01/Projects/score-system/.devenv/zsh"
# Re-enable history before exec
set -o history
# Exec into zsh (resolve via PATH if not absolute, since the devenv
# environment may have added it after this process started)
if [ ! -x "/run/current-system/sw/bin/zsh" ] && ! command -v "/run/current-system/sw/bin/zsh" >/dev/null 2>&1; then
echo "devenv: error: shell '/run/current-system/sw/bin/zsh' not found" >&2
echo "devenv: add zsh to your devenv.nix packages or set SHELL to an absolute path" >&2
exit 1
fi
exec "/run/current-system/sw/bin/zsh" -i
echo "devenv: error: failed to exec into /run/current-system/sw/bin/zsh" >&2
exit 1