.gitpod.yml

# This configuration file was automatically generated by Gitpod.
# Please adjust to your needs (see https://www.gitpod.io/docs/introduction/learn-gitpod/gitpod-yaml)
# and commit this file to your remote git repository to share the goodness with others.

# Learn more from ready-to-use templates: https://www.gitpod.io/docs/introduction/getting-started/quickstart

tasks:
  - name: Install Pyenv
    init: |
      (set -e 
      if [[ "$(pyenv version-name)" != 3.11* ]]; then
          pyenv install -f 3.11
          pyenv global 3.11
      fi
      gp sync-done pyenvinstall
      )

  - name: Install PDM & Dependencies
    init: gp sync-await pyenvinstall
    command: |
      (set -e 
      export HOME="/home/${USER}"
      # Install pdm
      export PDM_PATH="${HOME}/.local/bin"
      export PATH="${PDM_PATH}:$PATH"
      curl -sSL https://pdm.fming.dev/install-pdm.py | python -
      cd src/backend && pdm install
      echo $(pdm venv activate) >> ~/.bashrc
      gp sync-done pdminstall 
      )

  - name: Set Git config
    before: |
      (set -e 
      if [ -n "${GIT_EMAIL}" ]; then 
        git config --global user.email "${GIT_EMAIL}"
      fi
      if [ -n "${GIT_USER}" ]; then
      git config --global user.name "${GIT_USER}"
      fi 
      )

  # - init: make

ports:
  - name: Web App
    description: The main application web server
    port: 3000-8000
    onOpen: open-browser
    visibility: public

  - name: Jupter Lab
    description: Jupter-lab notebook server
    port: 8888
    onOpen: open-browser
    visibility: public