diff options
| author | Pete Johanson <peter@peterjohanson.com> | 2020-10-12 17:48:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-12 17:48:38 -0400 |
| commit | 409d180de9615d06ea8291a1ec7660905951c9aa (patch) | |
| tree | 8bb94a0e8ff11f3d71de91f865ec1bc55b0d4e42 /.devcontainer/.bashrc | |
| parent | eee8eb6e776c81192e81f685bd24a3795467ec91 (diff) | |
| parent | 737283bcbcbd771767a82fb8abbdbd087c691808 (diff) | |
Merge pull request #274 from idan/codespaces-config
Tweak devcontainer setups for GitHub Codespaces
Diffstat (limited to '.devcontainer/.bashrc')
| -rw-r--r-- | .devcontainer/.bashrc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.devcontainer/.bashrc b/.devcontainer/.bashrc index 855ea75..9fdb8f6 100644 --- a/.devcontainer/.bashrc +++ b/.devcontainer/.bashrc @@ -1,6 +1,8 @@ export LS_OPTIONS='-F --color=auto' -eval "`dircolors`" alias ls='ls $LS_OPTIONS' +if [ "${CODESPACES}" = "true" ]; then + export WORKSPACE_DIR="$HOME/workspace/zmk" +fi if [ -f "$WORKSPACE_DIR/zephyr/zephyr-env.sh" ]; then source "$WORKSPACE_DIR/zephyr/zephyr-env.sh" fi |