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

Preference page for dotnet path and future developments #99

Closed
LucasBullen opened this issue Nov 9, 2017 · 1 comment
Closed

Preference page for dotnet path and future developments #99

LucasBullen opened this issue Nov 9, 2017 · 1 comment

Comments

@LucasBullen
Copy link

As brought up in Issue #94, The need for a preferences page where users can input the path to the dotnet command location is highly valued. This page would also allow for easier customization of future developments.

The scope of this enhancement would be:
Contribution of a preference to configure the dotnet path, a preference initializer and a preference page designed for simple addition of new preferences.

LucasBullen pushed a commit to LucasBullen/aCute that referenced this issue Nov 15, 2017
Signed-off-by: Lucas Bullen <lbullen@redhat.com>
LucasBullen pushed a commit to LucasBullen/aCute that referenced this issue Nov 15, 2017
Will stop users from using features requiring dotnet if the path is not
found and point them towards the preference page

Signed-off-by: Lucas Bullen <lbullen@redhat.com>
LucasBullen pushed a commit to LucasBullen/aCute that referenced this issue Nov 17, 2017
Will stop users from using features requiring dotnet if the path is not
found and point them towards the preference page

Signed-off-by: Lucas Bullen <lbullen@redhat.com>
mickaelistria pushed a commit that referenced this issue Nov 18, 2017
Will stop users from using features requiring dotnet if the path is not
found and point them towards the preference page

Signed-off-by: Lucas Bullen <lbullen@redhat.com>
@mickaelistria
Copy link
Contributor

Fixed with ff46e87 . Thanks @LucasBullen for this important addition!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants