« first day (884 days earlier)      last day (1610 days later) » 

Bubbler
Bubbler
5:21 AM
Saying of ghci, I often fiddle with TIO Bash + ghci
Just that I can't silence the first and last line of output
and we can't separate expressions/statements from plain stdin...
 
Bubbler
Bubbler
5:45 AM
cc @Dennis
 
Pavel
Pavel
I wish bash let you put a heredoc and output redirect one one line like this: tio.run/##qyrO@P/fxkbd1d9NXcGuOLkos6CEy6o4tUShoCg/…
 
Bubbler
Bubbler
That's neat
 
Pavel
Pavel
tio.run/##qyrO@P/frji5KLOgRMHGRt3V302dy6o4tUShoCg/… works too but I think it's not as nice
 
Bubbler
Bubbler
6:03 AM
 
Pavel
Pavel
@Bubbler Annoyingly, however, trimming the extra noise with head and tail produces broken pipe noise to stderr: tio.run/##qyrO@P8/…
(This is what peak command substitution looks like /s)
@Pavel Only sometimes though. It's not deterministic.
You have to run it a bunch of times and eventually the error just doesn't
 
Bubbler
Bubbler
Using interact or getContents gives "closed handle error" too
 
 
9 hours later…
BMO
BMO
3:44 PM
@Dennis: Can you please pull Alchemist?
 
Pavel
Pavel
@BMO 0/10, cat
 
BMO
BMO
Use dd?
What machine doesn't have cat?
 
Pavel
Pavel
It's 3 whole bytes???
 
Dennis
Dennis
4:33 PM
@BMO Done.
 
BMO
BMO
Thank you!
 

« first day (884 days earlier)      last day (1610 days later) »