.gitpod-setup-trac-remote.sh: New, move other scripts back into .gitp…

…od.yml, chained with &&

.gitpod-command.sh → .gitpod-setup-trac-remote.sh

@@ -3,14 +3,6 @@
 # Exit on error
 set -e
 
-# Activate conda environment
-conda config --append envs_dirs $(pwd)
-conda activate $(pwd)/venv
-
-# RestructuredText extension recommends python extension, although we have already installed it
-## So disable the recommendation dialog
-echo "{\"restructuredtext.pythonRecommendation.disabled\": true}" > /workspace/.vscode-remote/data/Machine/settings.json
-
 # Setup trac as remote
 ## In order to push to trac, generate a new key with `ssh-keygen -f tempkey` and save the private key to gitpod `gp env PRIVATE_SSH_KEY="$(<tempkey)"` (or by following https://www.gitpod.io/docs/environment-variables#using-the-account-settings)
 ## then follow https://doc.sagemath.org/html/en/developer/trac.html#linking-your-public-key-to-your-trac-account to register the public key with trac.

.gitpod.yml

@@ -5,8 +5,24 @@ image:
 # Start up tasks. https://www.gitpod.io/docs/config-start-tasks/
 tasks:
   - name: Setup
-    init: ./.gitpod-init.sh
-    command: ./.gitpod-command.sh
+    # Create conda environment, then configure and build sage
+    init: >-
+      ./bootstrap-conda
+      && mamba env create --file src/environment-dev.yml --prefix venv
+      && conda config --append envs_dirs $(pwd)
+      && conda activate $(pwd)/venv
+      && ./bootstrap
+      && ./configure --enable-build-as-root --with-python=$CONDA_PREFIX/bin/python --prefix=$CONDA_PREFIX
+      && pip install --no-build-isolation -v -v -e ./pkgs/sage-conf ./pkgs/sage-setup
+      && pip install --no-build-isolation -v -v -e ./src
+    # Activate conda environment, set up Trac remote
+    command: >-
+      # RestructuredText extension recommends python extension, although we have already installed it
+      ## So disable the recommendation dialog
+      echo "{\"restructuredtext.pythonRecommendation.disabled\": true}" > /workspace/.vscode-remote/data/Machine/settings.json
+      && conda config --append envs_dirs $(pwd)
+      && conda activate $(pwd)/venv
+      && ./.gitpod-setup-trac-remote.sh
     env:
       SAGE_NUM_THREADS: 8