Fabian Homborg e1d19cf571 Don't touch $SHLVL if not interactive
It's not super clear what $SHLVL is useful for, but the current
definition is essentially
"number of shells in the parent processes + 1"

which isn't *super useful*?

Bash's behavior here is a bit weird in that it increments $SHLVL
basically always, but since it auto-execs the last process it will
decrement it again, so in practice it's often not incremented.

E.g.

```
> echo $SHLVL
1
> bash -c 'echo $SHLVL; bash'
2
>> echo $SHLVL
2
```

Both bashes here end up having the same $SHLVL because this is
equivalent to `echo $SHLVL; exec bash`. Running `echo $SHLVL` and then
`bash -c 'echo $SHLVL'` in an interactive bash will have a different
result (1 and 2) because that doesn't *exec* the inner bash.

That's not something we want to get into, so what we do is increment
$SHLVL in every interactive fish. Non-interactive fish will simply
import the existing value.

That means if you had e.g. a bash that runs a fish script that ends up
opening a new fish session, you would have a $SHLVL of *2* - one for the
bash, and one for the inner fish.

We key this off is_interactive_session() (which can also be enabled
via `fish -i`) because it's easy and because `fish -i` is asking for
fish to be, in some form, "interactive".

That means most of the time $SHLVL will be "how many shells am I deep,
how often do I have to `exit`", except for when you specifically asked
for a fish to be "interactive". If that's a problem, we can rethink it.

Fixes #7864.
2021-03-29 17:44:13 +02:00
..
2020-02-08 13:30:48 +01:00
2021-02-16 16:45:59 +01: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
2021-02-15 17:08:26 +01:00
2020-02-14 20:28:46 +01:00
2021-03-04 16:25:41 +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
2021-03-28 13:22:44 -07:00
2020-02-17 11:39:53 +01:00
2021-03-29 17:44:13 +02:00
2019-07-09 10:02:50 -07:00
2021-03-09 18:36:02 +01:00
2020-06-07 16:23:29 +02:00
2021-03-02 14:53:02 +01:00
2020-03-16 21:21:10 +01:00
2020-09-26 14:56:03 +02:00