Add a new option

This commit is contained in:
Yuhao Qing
2025-12-18 18:10:03 +08:00
parent d8238c545a
commit 9641876d43

View File

@@ -1,3 +1,19 @@
# # Patch prep_env.sh for zsh compatibility (only if not already patched)
# _prep_env="/workspace/vscode/prep_env.sh"
# if [[ -f "$_prep_env" ]] && ! grep -q '# PATCHED_FOR_ZSH' "$_prep_env" 2>/dev/null; then
# sed -i \
# -e '1a# PATCHED_FOR_ZSH' \
# -e 's/^shopt -s histappend$/[[ -n "${BASH_VERSION}" ]] \&\& shopt -s histappend/' \
# -e 's/\${!\([^}]*\)}/\$( [[ -n "\${ZSH_VERSION}" ]] \&\& echo "\${(P)\1}" || echo "\${!\1}" )/g' \
# -e 's/cur_dir="\$(cd "\$(dirname "\$0")" && pwd)"/cur_dir="\/workspace\/vscode"/' \
# "$_prep_env"
# fi
# # Now source the patched script directly
# source "$_prep_env"
# Set cur_dir before sourcing so prep_env.sh uses the correct path # Set cur_dir before sourcing so prep_env.sh uses the correct path
export cur_dir="/workspace/vscode" export cur_dir="/workspace/vscode"