Changes between Version 1 and Version 2 of Ticket #3423, comment 6
- Timestamp:
- 03/28/15 18:25:29 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #3423, comment 6
v1 v2 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` !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. 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.