Skip to content

batches: Remote Mount #5 - src-cli#816

Merged
Piszmog merged 83 commits into
mainfrom
rc/remote-mounting
Oct 6, 2022
Merged

batches: Remote Mount #5 - src-cli#816
Piszmog merged 83 commits into
mainfrom
rc/remote-mounting

Conversation

@Piszmog

@Piszmog Piszmog commented Aug 15, 2022

Copy link
Copy Markdown
Contributor

Part of #31792.

Dependent on sourcegraph#40932.

  • The remote command uploads files specified in the mount section of a step. The files are upload via the files API.
    • The files are uploaded as chunks - thus saving on memory
  • Updated the exec entry command to accept the flag workspaceFiles and to mount this directory when running Docker
  • Various other small changes to support running locally and remote. They are not super compatible.

Test plan

Go Unit tests and functional testing. Running mounts locally also confirmed to still work.

Example

Screen.Recording.2022-09-21.at.19.39.11.mov

@Piszmog Piszmog changed the title batches: Remote Mount #7 - src-cli batches: Remote Mount #5 - src-cli Sep 27, 2022

@eseliger eseliger left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's go!!!11

Comment thread cmd/src/batch_exec.go Outdated
"github.com/sourcegraph/sourcegraph/lib/batches"
)

func TestService_UploadBatchSpecWorkspaceFiles_Windows_Path(t *testing.T) {

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the fact that this test has to exist makes me sad 🙃

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lol, I had a dream about windows paths. This is the result

@Piszmog Piszmog merged commit ad1b36a into main Oct 6, 2022
@Piszmog Piszmog deleted the rc/remote-mounting branch October 6, 2022 14:24
scjohns pushed a commit that referenced this pull request Apr 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants