Fabian Homborg 1d5e715008 source: Return error instead of implicitly reading from tty ...

For things like

    source $undefined

or
    source (nooutput)

it was quite annoying that it read from tty.

Instead we now require a "-" as the filename to read from the tty.

This does not apply to reading from stdin if it's redirected, so

    something | source

still works.

Fixes #2633.

2018-10-22 21:22:27 +02:00

1.6 KiB

Raw Blame History

View Raw