Adds .gitpod.yml

[kenorb]

See: https://www.gitpod.io/docs/config-gitpod-file/

[kenorb]

.gitpod.yml

image:
  file: .gitpod.dockerfile
tasks:
 - init: . ${GITPOD_REPO_ROOT}/init_tasks.sh
 - openMode: tab-before
 - command: >
    echo "export C9_USER='gitpod'" >> /home/gitpod/.bashrc
 - command: >
    rm ${GITPOD_REPO_ROOT}/init_tasks.sh
    ${GITPOD_REPO_ROOT}/.gitpod*

.gitpod.Dockerfile

FROM gitpod/workspace-full
USER gitpod
RUN sudo apt-get -q update

[kenorb]

image: gitpod/workspace-full

ports:
  - port: 6080
    onOpen: open-preview
  - port: 35900
    onOpen: ignore
  - port: 5900
    onOpen: ignore
- port: 8080
  onOpen: open-preview

github:
    prebuilds:
        pullRequestsFromForks: true

tasks:
  - init: >
      make deps &&
      make build &&
      make clean
  - command: python3 -m http.server 8080
    name: Static Server
  - openMode: split-right
    command: echo SplitTerminal
  - openIn: left
    command: echo LeftPanelTerminal

vscode:
  extensions:
    - xaver.clang-format@1.9.0:auCYfQ5pnsZ6Cjf4ZxkAtA==
    - ms-vscode.cpptools@0.27.1:VNmQN1OhYwV60u8C6agP7g==
    - ms-vscode.cmake-tools@1.4.0:eP3hU/MFme+CcSL21Klk1w==