File tree Expand file tree Collapse file tree 2 files changed +18
-0
lines changed Expand file tree Collapse file tree 2 files changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -17,6 +17,8 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
1717ENV PIXI_HOME="/opt/pixi" PATH="/opt/pixi/bin:${PATH}"
1818RUN curl -fsSL https://pixi.sh/install.sh | PIXI_VERSION=${PIXI_VERSION} PIXI_HOME=${PIXI_HOME} bash
1919
20+ COPY .devcontainer/pixi-auto-shell.sh /etc/profile.d/pixi-auto-shell.sh
21+
2022WORKDIR /workspaces/dart
2123
2224ENTRYPOINT ["/usr/bin/tini" , "--" ]
Original file line number Diff line number Diff line change 1+ # Auto-enter the pixi environment for interactive shells.
2+ # Skips root, non-interactive sessions, and re-entry loops.
3+
4+ case " $- " in
5+ * i* ) ;;
6+ * ) return 0 ;;
7+ esac
8+
9+ [ " $( id -u) " -eq 0 ] && return 0
10+ [ -n " $PIXI_AUTO_SHELL " ] && return 0
11+ command -v pixi > /dev/null 2>&1 || return 0
12+ [ -f /workspaces/dart/pixi.toml ] || return 0
13+
14+ export PIXI_AUTO_SHELL=1
15+ cd /workspaces/dart
16+ exec pixi shell
You can’t perform that action at this time.
0 commit comments