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

CLI stdin/stdout stream improvements #132

Closed
Lyrth opened this issue Nov 19, 2023 · 6 comments
Closed

CLI stdin/stdout stream improvements #132

Lyrth opened this issue Nov 19, 2023 · 6 comments
Labels
enhancement New feature or request

Comments

@Lyrth
Copy link

Lyrth commented Nov 19, 2023

The clue executable should treat a single dash - in place of the filename as "read script from stdin." This option is also used on multiple Linux command-line utilities with the same usage, and allows pipelines like this:
command /that/reads/a/file.clue | clue -t luajit - -o | luajit -

On a similar note, -o flag should suppress info messages (or maybe redirect them into stderr) from the output code. Having Compiled Lua code of file "(command line)": and Compiled file "(command line)" in 0.* seconds! around the output makes the compiled code difficult to use for other purposes (i.e. sending the output to a Lua interpreter). Probably applies to --struct and --token options too.

@Maiori44 Maiori44 added the enhancement New feature or request label Nov 19, 2023
@Maiori44 Maiori44 added this to the 4.0 milestone Nov 19, 2023
@Maiori44
Copy link
Member

Maybe there could be a --suppress flag that removes all unnecessary prints?

@Markos-Th09
Copy link
Member

This is also most of the time called --quiet and -q for short

@Maiori44
Copy link
Member

This is also most of the time called --quiet and -q for short

Oh, yeah true

@Lyrth
Copy link
Author

Lyrth commented Nov 20, 2023

--quiet and -q is good, yes

@Lyrth Lyrth mentioned this issue Nov 25, 2023
4 tasks
@Lyrth
Copy link
Author

Lyrth commented Nov 25, 2023

Moved to #136

@Maiori44
Copy link
Member

I'll close since it was moved

@Maiori44 Maiori44 closed this as not planned Won't fix, can't repro, duplicate, stale Nov 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants