Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

stdin does not allow further switches

See original GitHub issue

./mme -extract -model=DEVAL_12 > temp2.kts; ./mm temp2.kts -graph works ./mme -extract -model=DEVAL_12 | ./mm - -graph does not work.

where mm is the DSL.

note running ./mme -extract -model=DEVAL_12 | ./mm - does half work, but not very useful as I need the switch.

Issue Analytics

  • State:closed
  • Created 6 years ago
  • Comments:5 (4 by maintainers)

github_iconTop GitHub Comments

hj-leecommented, Feb 6, 2018

It looks like kscript treats “-” as one of kscript options, not as the script. Below code in Kscript.kt seems to be the culprit.

val userArgs = args.dropWhile { it.startsWith("-") }.drop(1)

Changing it to something like below would fix the issue.

val userArgs = args.dropWhile { it.startsWith("-") && it != "-" }.drop(1)
ilanpillemercommented, Feb 6, 2018

I will give that a try this week and see if it works. And if it does put together a pull request

Read more comments on GitHub >

github_iconTop Results From Across the Web

Pseudo-terminal will not be allocated because stdin is not a ...
Sending commands via stdin means that ssh 's stdin is no longer connected to a terminal, so no pty is created, and ssh...
Read more >
os: Stdin does not support SetReadDeadline · Issue #26579
If we set standard input into non-blocking mode, then if we are careless or simply unlucky the program will exit with standard input...
Read more >
Why do STDIN inputs not work on my TCL console in ... - Intel
Due to a known issue with the Quartus® II software versions 11.0 SP1 and earlier, the PC version of the tools does not...
Read more >
Is there any way to de-couple stdin into multiple input sources?
bash - Is there any way to de-couple stdin into multiple input sources? - Unix & Linux Stack Exchange. Stack Overflow for Teams...
Read more >
linux - Can I send some text to the STDIN of an active process ...
First create a named pipe to route STDIN through: mkfifo /data/in . · Then block it for writing, so it does not get...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Post

No results found

github_iconTop Related Hashnode Post

No results found