Skip to content
New issue

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

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

Already on GitHub? # to your account

helper script for windows shell environments #521

Merged
merged 1 commit into from
Jan 2, 2023
Merged

helper script for windows shell environments #521

merged 1 commit into from
Jan 2, 2023

Conversation

jdknight
Copy link
Contributor

@jdknight jdknight commented Jan 2, 2023

The following provides a helper script to invoke the crowdin CLI in a Windows shell environment (e.g. MinGW), without having to specify the bat extension.


The existing Crowdin CLI installation on Windows can run crowdin from a command line prompt as expected:

Microsoft Windows [Version 10.0.19045.2364]
(c) Microsoft Corporation. All rights reserved.

C:\Users\MyUser> crowdin --version
3.9.1

However, if a user starts a shell environment (e.g. MinGW from Git SCM tools), the environment will complain that the command cannot be found:

MyUser@MyUser-PC MINGW64 /
$ crowdin  --version
bash: crowdin: command not found

Users can workaround this by adding the .bat extension:

MyUser@MyUser-PC MINGW64 /
$ crowdin.bat --version
3.9.1

And if an environment includes the provided helper script in this pull request, it drops the requirement of needing to specify the extension:

MyUser@MyUser-PC MINGW64 /
$ crowdin --version
3.9.1

The following provides a helper script to invoke the `crowdin` CLI in a
Windows shell environment (e.g. MinGW), without having to specify the
`bat` extension.

Signed-off-by: James Knight <james.d.knight@live.com>
@andrii-bodnar
Copy link
Member

@jdknight thanks a lot for your contribution!

@andrii-bodnar andrii-bodnar merged commit 478e82f into crowdin:cli3 Jan 2, 2023
@jdknight jdknight deleted the helper-scripts-for-win-shells branch January 2, 2023 19:38
@andrii-bodnar andrii-bodnar mentioned this pull request Jan 16, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants