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


Ignore:
Timestamp:
03/28/15 18:38:11 (10 years ago)
Author:
marcelpaulo
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3423, comment 6

    v3 v4  
    77If 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. 
    88 
    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. 
     9Neither 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. 
    1010 
    1111The 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.