Merge pull request #46 from Slamdunk/patch-1

DumpCommand: $_SERVER['SHELL'] can be not set

Author: rquadling

src/DumpCommand.php

@@ -20,7 +20,7 @@ protected function configure()
                 new InputOption('script-options', null, InputOption::VALUE_REQUIRED, "Options to be passed to the script."),
                 new InputOption('aliases', null, InputOption::VALUE_REQUIRED | InputOption::VALUE_IS_ARRAY, "Extra aliases to be used."),
                 new InputOption('disable-default-tools', null, InputOption::VALUE_NONE),
-                new InputOption('shell', null, InputOption::VALUE_REQUIRED, 'Shell type ("bash", "fish" or "zsh")', basename($_SERVER['SHELL'])),
+                new InputOption('shell', null, InputOption::VALUE_REQUIRED, 'Shell type ("bash", "fish" or "zsh")', isset($_SERVER['SHELL']) ? basename($_SERVER['SHELL']) : null),
             ))
             ->setDescription('Dumps shell autocompletion for any executable based on a Symfony Console Application.')
         ;