Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Download Ark builds for Windows #1933

Merged
merged 2 commits into from
Dec 12, 2023
Merged

Conversation

DavisVaughan
Copy link
Contributor

@DavisVaughan DavisVaughan commented Dec 8, 2023

Part of #159
Companion to posit-dev/ark#175

I have tested that Positron + Ark works on Windows with this in the following setups:

  • The Ark developer - Local build of Ark in amalthea/, Positron finds it
  • The positron-r developer - Downloads Ark into resources/ark/, uses it from there
  • A full release build - yarn gulp vscode locally and then running the resulting release

Comment on lines -206 to +212
await executeCommand(`unzip -o ` +
`${path.join('resources', 'ark', 'ark.zip')}` +
` -d ` +
`${path.join('resources', 'ark')}`);
console.log(stdout);
if (stderr) {
console.error(stderr);
} else {
await decompress(zipFileDest, arkDir).then(files => {
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Using decompress() seemed like the easiest way to get platform independent unzipping? Open to other ideas. But unzip is not natively on Windows, at least it didn't work on my VM like this.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I'm not entirely sure why the yarn.lock changed so much

Copy link
Collaborator

Choose a reason for hiding this comment

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

Probably decompress has a large-ish dependency tree.

@DavisVaughan DavisVaughan marked this pull request as ready for review December 11, 2023 17:35
@DavisVaughan DavisVaughan changed the title Infrastructure to download ark builds for Windows Download Ark builds for Windows Dec 11, 2023
Copy link
Collaborator

@jmcphers jmcphers left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link
Collaborator

Choose a reason for hiding this comment

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

Probably decompress has a large-ish dependency tree.

@DavisVaughan DavisVaughan force-pushed the feature/windows-ark-downloads branch from e0d8e43 to d2c0551 Compare December 12, 2023 14:22
@DavisVaughan DavisVaughan merged commit 0e1e65f into main Dec 12, 2023
1 check passed
@DavisVaughan DavisVaughan deleted the feature/windows-ark-downloads branch December 12, 2023 14:50
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.

2 participants