Context Navigation

Changes between Version 2 and Version 3 of Ticket #3423, comment 6

v2	v3
7	7	If the environment variable wasn't set, it makes sense to me that `sh` should still be the default, so it wouldn't affect anybody that didn't explicitly set it. I'm not arguing to set `bash` as the default, but have a mechanism in place to configure the default.
8	8
9		Neither you, @ossi, nor myself can tell for sure how many people would welcome and use a configurable shell for user menus. And one can use incorrectly any shell~~, although I'd argue: `sh` makes quoting more error-prone than `bash`~~. But what's being discussed here is not the relative benefits of any shell, but the freedom to choose.
	9	Neither you, @ossi, nor myself can tell for sure how many people would welcome and use a configurable shell for user menus. And one can use incorrectly any shell ... ( one might argue: `sh` makes quoting more error-prone than `bash`). But what's being discussed here is not the relative benefits of any shell, but the freedom to choose.
10	10
11	11	The fact is, strictly from a user's perspective: the user menus is a fabulous feature, at least for myself it beats any other file manager out there (`mc` is the only file manager I have used ever since I started using Linux on my laptop), and being able to code the scriptlets in `bash` would make certain constructs simpler.