We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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?
to your account
$ echo $LANG
$ type /bin/sh
/bin/sh は /bin/sh です
Finally, $PRG equals です.
$ LANG=C type /bin/sh
/bin/sh is /bin/sh
or use dirname, pwd to resolve path.
The text was updated successfully, but these errors were encountered:
Avoid type $0, use $0 directly.
In some locales, `type $0` produces additional output, see issue #251.
Interesting. I think I fixed the problem by using $0 directly instead of type $0. dirname and pwd aren't good enough, because they don't resolve symlinks (and readlink doesn't work properly on MacOS).
Would you be able to try out replacing the two lines
with just PRG="$0" in jflex/bin/jflex?
Sorry, something went wrong.
It fixed. Thank you!
No branches or pull requests