1  #!/bin/bash
 2  
 3  PROJECT_DIR=${PROJECT_DIR:-/workspace}
 4  
 5  if [ -e $HOME/.nix-profile/etc/profile.d/nix.sh ] ; then
 6    . $HOME/.nix-profile/etc/profile.d/nix.sh
 7  fi
 8  
 9  if [ -e $HOME/.nix-profile ] ; then
10    XDG_DATA_DIRS="$XDG_DATA_DIRS:$HOME/.nix-profile/share"
11  fi
12  XDG_DATA_DIRS="$XDG_DATA_DIRS:/usr/share"
13  
14  if shopt -q login_shell; then
15    pushd "${PROJECT_DIR}"
16    eval "$(nix print-dev-env --profile "${PROJECT_DIR}/.devcontainer/.profile")"
17    popd
18  fi
19