workspaceFolder setting doesn't work #25449

mtsmfm · 2020-10-15T00:58:10Z

mtsmfm
Oct 15, 2020

{
  "dockerComposeFile": "./docker-compose.yml",
  "service": "app",
  "workspaceFolder": "/app",
  "containerUser": "app"
}

When I connect to the codespace, I’m on ~/workspace/gh-codespaces-example, not /app

app@82bf4527040e:~/workspace/gh-codespaces-example$ pwd
/home/app/workspace/gh-codespaces-example

Answered by jkeech

Oct 15, 2020

Hi @mtsmfm, the workspaceFolder property is not supported in Codespaces yet, but we are working on adding support for that in the coming weeks. Right now it always clones the repo to /home/{remoteUser}/workspace/{repoName}.

View full answer

jkeech · 2020-10-15T22:55:28Z

jkeech
Oct 15, 2020

Hi @mtsmfm, the workspaceFolder property is not supported in Codespaces yet, but we are working on adding support for that in the coming weeks. Right now it always clones the repo to /home/{remoteUser}/workspace/{repoName}.

1 reply

davetapley Dec 9, 2022

@jkeech do you know if this was ever added? See: #11923 (comment)

mtsmfm · 2020-10-16T02:49:58Z

mtsmfm
Oct 16, 2020
Author

@jkeech Thank you for your response.

I sent a PR to fix the doc I read.

github.com/github/docs

workspaceFolder is not supported yet

<div class="branches">
  <code>github:main</code> ← <code>mtsmfm:patch-1</code>
</div>

<div class="github-info">
  <div class="date">
    opened <span class="discourse-local-date" data-format="ll" data-date="2020-10-16" data-time="02:49:34" data-timezone="UTC">02:49AM - 16 Oct 20 UTC</span>
  </div>

  <div class="user">
    <a href="https://github.com/mtsmfm" target="_blank" rel="noopener nofollow ugc">
      <img alt="mtsmfm" src="https://user-images.githubusercontent.com/1796864/181091173-e5b82dbf-c2ad-4191-bb4f-6a149c3c5638.jpeg" class="onebox-avatar-inline" width="20" height="20">
      mtsmfm
    </a>
  </div>

  <div class="lines" title="1 commits changed 1 files with 1 additions and 1 deletions">
    <a href="https://github.com/github/docs/pull/578/files" target="_blank" rel="noopener nofollow ugc">
      <span class="added">+1</span>
      <span class="removed">-1</span>
    </a>
  </div>
</div>

0 replies

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

GitHub Community

workspaceFolder setting doesn't work #25449

{{title}}

{{editor}}'s edit

{{editor}}'s edit

Replies: 2 comments 1 reply

{{title}}

{{title}}

{{title}}

workspaceFolder is not supported yet

Select a reply

GitHub Community

workspaceFolder setting doesn't work #25449

mtsmfm Oct 15, 2020

Replies: 2 comments · 1 reply

jkeech Oct 15, 2020

davetapley Dec 9, 2022

mtsmfm Oct 16, 2020 Author

workspaceFolder is not supported yet

mtsmfm
Oct 15, 2020

Replies: 2 comments 1 reply

jkeech
Oct 15, 2020

mtsmfm
Oct 16, 2020
Author