diff options
author | stilez <stilez@users.noreply.github.com> | 2016-06-08 03:49:33 +0100 |
---|---|---|
committer | stilez <stilez@users.noreply.github.com> | 2016-06-08 03:49:33 +0100 |
commit | 02705019da343e384633e2732f89483f05f8e8f0 (patch) | |
tree | 551b00b800480234bc3ca54b41d8487e45b2bc40 /src/etc/rc.initial | |
parent | 0771de32cd4a6cc1a24236fd924203b1adc91723 (diff) | |
download | pfsense-02705019da343e384633e2732f89483f05f8e8f0.zip pfsense-02705019da343e384633e2732f89483f05f8e8f0.tar.gz |
Rename item #12 in console menu
The console menu item #12 (_"pfSense/$product developer shell"_) has a pointless title that doesn't help users much. It also actively obscures from router admins the useful tools it contains which is a negative side-effect.
* Describing it as a "developer" shell is redundant; it appears to try and obscure the fact it is useful to non-devs too. pfSsh.php isn't any more or less a "developer shell" than any other shell provided. Both shells can be used by developers or by end-user router admins, but its title of "dev tool" suggests it contains nothing of relevance to an end-user admin, which is very incorrect - it contains very useful packaged tools and versatility, to get the router recovered from a bad borking or if the web UI can't be used for any reason.
* It also isn't just a "pfSense/$product" shell. It's a full-fledged PHP shell, and obscuring this also hides its usefulness.
It's unlikely that non-dev users will "mess things up more with it" or "need protecting from themselves" - any user prone to do so would already have used option #8 and full shell access for that purpose.
Renaming the menu item should help end-user admins, as the discoverability and usefulness that pfSsh.php provides will be more readily visible to users who might benefit from it.
Diffstat (limited to 'src/etc/rc.initial')
-rwxr-xr-x | src/etc/rc.initial | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/rc.initial b/src/etc/rc.initial index 2cb2b96..6fe3b6a 100755 --- a/src/etc/rc.initial +++ b/src/etc/rc.initial @@ -82,7 +82,7 @@ echo "" echo " 0) Logout (SSH only) 9) pfTop" echo " 1) Assign Interfaces 10) Filter Logs" echo " 2) Set interface(s) IP address 11) Restart webConfigurator" -echo " 3) Reset webConfigurator password 12) ${product} Developer Shell" +echo " 3) Reset webConfigurator password 12) PHP shell + ${product} tools" echo " 4) Reset to factory defaults 13) Update from console" echo " 5) Reboot system ${sshd_option}" echo " 6) Halt system 15) Restore recent configuration" |