diff options
Diffstat (limited to 'etc/rc.banner')
| -rwxr-xr-x | etc/rc.banner | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/etc/rc.banner b/etc/rc.banner index f2c3b48..b23f801 100755 --- a/etc/rc.banner +++ b/etc/rc.banner @@ -38,8 +38,12 @@ $platform = trim(file_get_contents("{$g['etc_path']}/platform")); $hostname = $config['system']['hostname']; $product = $g['product_name']; - - print "\n*** Welcome to {$g['product_name']} {$version}-{$platform} on {$hostname} ***\n"; + $hideplatform = $g['hideplatform']; + + if(!$hideplatform) + $platformbanner = "-{$platform}"; + + print "\n*** Welcome to {$g['product_name']} {$version}{$platformbanner} on {$hostname} ***\n"; /* get our initial interface list */ $vfaces = array( |
