Fabian Homborg 1dd776ec99 echo: Don't interpret and print options
A weird interaction between grouped short options and our weird option
parsing that puts unknown options back:

```
echo "-n foo"
```

would see the `-n`, turn off printing newlines, interpret the " " as
another grouped short option, see that there is no short option for
space and put the entire token back on the arguments pile.

So it would print "-n foo" *without a newline*.

Fix this by keeping an old state of the options around and reverting
it when putting options back.

The alternative is *probably* to forbid the " " short option in
wgetopt, then check if an option group contains it and error out, but
this should only really be a problem in `echo` because that is,
AFAICT, the only thing that puts the options back.

Fixes #7614
2021-01-09 08:50:30 +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-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