codespace.config.php « .devcontainer - nextcloud-server.git - Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server

index : nextcloud-server.git

Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server

www-data

about summary refs log tree commit diff stats

path: root/.devcontainer/codespace.config.php

blob: 9c1730b3c9c5c6c5bda4ecfa6a875807d89f3496 (plain)

<?php

$cloudEnvironmentId = getenv('CLOUDENV_ENVIRONMENT_ID');

if($cloudEnvironmentId !== false) {
    $CONFIG = array (
    'overwritehost' => $cloudEnvironmentId . '-80.apps.codespaces.githubusercontent.com',
    );
}