Build and Run

Stdin control

ELVE terminal allows issuing commands. But often we would rather execute a whole script or have commands coming from another software.

Since the standard input is redirected automatically to the internal terminal, you can pipe your script files to Elve like this:

cat myelvescript | ./Elve

Elve script files are simply either semi-colon separated or newline separated list of commands.

Sample script content:

load_blif "~/mul5.blif"
level_layout
show -g
cluster
select --add 1 338 154 150 340
group -m 1
select -c 1 365 359 244 351 252 185 199 353 347 358 195 357
extract -n

And of course, this also allows software to launch Elve frontend as a subprocess and invoke commands automatically through stdin.