Context Navigation

Changes between Initial Version and Version 1 of Ticket #3423, comment 6

initial	v1
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.
	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` !
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.