Closed Colonel86 closed 4 months ago
DOTNET_INSTALL_DIR="${HOME}/.dotnet/" already had /,so "${DOTNET_INSTALL_DIR}dotnet" should be removed /
/
(Write your motivation for proposed changes here.)
(Write your answer here.)
(Share your test plan here. If you changed code, please provide us with clear instructions for verifying that your changes work.)
DOTNET_INSTALL_DIR="${HOME}/.dotnet/" already had
/
,so "${DOTNET_INSTALL_DIR}dotnet" should be removed/
Motivation
(Write your motivation for proposed changes here.)
Have you read the Contributing Guidelines on pull requests?
(Write your answer here.)
Test Plan
(Share your test plan here. If you changed code, please provide us with clear instructions for verifying that your changes work.)