Fabian Homborg cf8219e3ce Exit if --no-execute is enabled don't interactively read from the terminal
Don't go into implicit interactive mode without ever executing
anything - not even `exit` or reacting to ctrl-d. That just renders
the shell useless and unquittable.
2021-01-01 21:22:52 +01:00
..
2020-09-04 16:30:13 +02:00
2020-02-08 13:30:48 +01:00
2019-06-26 21:19:40 +02:00
2020-12-28 23:23:06 +01:00
2020-04-26 08:49:01 +02:00
2020-11-07 22:48:13 +01:00
2019-06-26 21:19:40 +02:00
2020-01-19 15:07:06 +01:00
2020-01-25 17:28:41 -08:00
2020-02-14 20:28:46 +01:00
2020-12-29 12:48:11 +01:00
2020-02-07 20:53:20 +01:00
2020-04-26 08:49:01 +02:00
2020-11-27 19:33:27 +01:00
2020-02-17 11:39:53 +01:00
2019-07-09 10:02:50 -07:00
2020-12-06 15:39:49 +01:00
2020-06-07 16:23:29 +02:00
2020-03-16 21:21:10 +01:00
2020-09-26 14:56:03 +02:00