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

Improve runcmd in the default-config. #506

Merged
merged 1 commit into from
May 30, 2021
Merged

Conversation

somiaj
Copy link
Collaborator

@somiaj somiaj commented May 30, 2021

This improves the runcmd variable so if the binary name is changed
the "Run command" option still appears in the menu if that binary
is present. It also makes it so the Meta+Space binding is only
set if the runcmd binary exists.

This improves the runcmd variable so if the binary name is changed
the "Run command" option still appears in the menu if that binary
is present. It also makes it so the Meta+Space binding is only
set if the runcmd binary exists.
@ThomasAdam ThomasAdam added the type:enhancement Augmenting an existing feature label May 30, 2021
@ThomasAdam ThomasAdam self-assigned this May 30, 2021
@ThomasAdam ThomasAdam added this to the 1.0.3 milestone May 30, 2021
@ThomasAdam ThomasAdam merged commit 2f95c8a into master May 30, 2021
@ThomasAdam ThomasAdam deleted the js/default-config-runcmd branch May 30, 2021 10:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:enhancement Augmenting an existing feature
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants