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

Include ${userHome} in the supported path placeholders #3580

Merged
merged 3 commits into from
Jul 5, 2023

Conversation

jessupjn
Copy link
Contributor

@jessupjn jessupjn commented Jul 3, 2023

What
Support variable expansion for ${userHome} in the cairo VSCode extension.

Why
My scarb tool wasn't being picked up in most cases (I'm on a Mac) by the extension to automatically run the cairo-language-server. This is because - in various cases - macOS apps don't have access to the user's PATH by default (more information. The VSCode predefined variable expansion for ${workspaceFolder} is already supported, so I figured support for the related ${userHome} variable could make things easier for other mac users. Simply update your workspace settings to include the following:

"cairo1.scarbPath": "${userHome}/.local/bin/scarb"

How
${userHome} --> process.env.HOME.

This change is Reviewable

Copy link
Member

@mkaput mkaput left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewable status: 0 of 1 files reviewed, all discussions resolved

@mkaput
Copy link
Member

mkaput commented Jul 4, 2023

@spapinistarkware I think we can merge this :)

@mkaput mkaput requested a review from spapinistarkware July 5, 2023 09:19
Copy link
Contributor

@spapinistarkware spapinistarkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @jessupjn)

@spapinistarkware spapinistarkware added this pull request to the merge queue Jul 5, 2023
Merged via the queue into starkware-libs:main with commit 400aaac Jul 5, 2023
@jessupjn jessupjn deleted the userHome branch July 5, 2023 12:41
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