Add task to auto activate the dev environment on Gitpod

pull/6527/head
Jeremy Tuloup 4 years ago committed by GitHub
parent fd7c02e324
commit f1af853860
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -22,7 +22,6 @@ tasks:
micromamba activate
EOT
source /workspace/bin/activate-env.sh
echo "source /workspace/bin/activate-env.sh" >> ~/.bashrc
micromamba install -n base -y -c conda-forge python=3.10 nodejs=14 yarn
python -m pip install -e ".[dev,test]" && jlpm && jlpm run build && jlpm develop
gp sync-done setup
@ -36,6 +35,11 @@ tasks:
gp sync-await setup
source /workspace/bin/activate-env.sh
jlpm watch
- name: shell
command: |
gp sync-await setup
echo "source /workspace/bin/activate-env.sh" >> ~/.bashrc
ports:
- port: 8888

Loading…
Cancel
Save