github.com/ddev/ddev@v1.23.2-0.20240519125000-d824ffe36ff3/.gitpod.yml (about)

     1  image: ddev/ddev-gitpod-base:20240516
     2  tasks:
     3    - name: build-run
     4      init: |
     5        # Compile ddev
     6        make
     7        ddev debug download-images
     8        mkcert -install
     9      command: |
    10        export DDEV_NONINTERACTIVE=true
    11        DDEV_REPO=${DDEV_REPO:-https://github.com/ddev/d10simple}
    12        DDEV_ARTIFACTS=${DDEV_REPO}-artifacts
    13        git clone ${DDEV_ARTIFACTS} "/tmp/${DDEV_ARTIFACTS##*/}" || true
    14        reponame=${DDEV_REPO##*/}
    15        mkdir -p /workspace/${reponame} && cd /workspace/${reponame}
    16        if [ ! -d /workspace/${reponame}/.git ]; then
    17          git clone ${DDEV_REPO} /workspace/${reponame}
    18        fi
    19        if [ ! -f .ddev/config.yaml ]; then
    20          ddev config --auto
    21        fi
    22        ddev stop -a
    23        ddev start -y
    24        if [ -d "/tmp/${DDEV_ARTIFACTS##*/}" ]; then
    25          ddev import-db --file=/tmp/${DDEV_ARTIFACTS##*/}/db.sql.gz
    26          ddev import-files --source=/tmp/${DDEV_ARTIFACTS##*/}/files.tgz
    27        fi
    28        gp ports await 8080 && sleep 1 && gp preview $(gp url 8080)
    29  
    30  vscode:
    31    extensions:
    32      # Go extension
    33      - golang.go
    34  
    35      # PHP extension
    36      - felixfbecker.php-debug
    37  
    38      # Bash extensions
    39      - timonwong.shellcheck
    40      - rogalmic.bash-debug
    41  
    42  github:
    43    prebuilds:
    44      # enable for the master/default branch (defaults to true)
    45      master: true
    46      # enable for all branches in this repo (defaults to false)
    47      branches: true
    48      # enable for pull requests coming from this repo (defaults to true)
    49      pullRequests: true
    50      # enable for pull requests coming from forks (defaults to false)
    51      pullRequestsFromForks: true
    52      # add a check to pull requests (defaults to true)
    53      addCheck: true
    54      # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
    55      addComment: false
    56      # add a "Review in Gitpod" button to the pull request's description (defaults to false)
    57      addBadge: true
    58      # add a label once the prebuild is ready to pull requests (defaults to false)
    59      addLabel: true
    60  
    61  ports:
    62    # Ignore host https port
    63    - port: 8443
    64      onOpen: ignore
    65    - port: 3306
    66      onOpen: ignore
    67    # Direct-connect ddev-webserver port that is the main port
    68    - port: 8080
    69      onOpen: ignore
    70    # Currently un-notified and unsupported mailpit https port
    71    - port: 8027
    72      onOpen: ignore
    73    - port: 8036
    74      onOpen: ignore
    75    # xdebug port
    76    - port: 9003
    77      onOpen: ignore