/** * Gets the default commands that should always be available. * * @return array An array of default Command instances */ protected function getDefaultCommands() { // Keep the core default commands to have the HelpCommand and ListCommand // which is used when using the --help and --list option $defaultCommands = parent::getDefaultCommands(); foreach (VagrantCommand::commands() as $command) { $defaultCommands[] = new VagrantCommand($command); } foreach (VagrantSshCommand::classes() as $class) { $defaultCommands[] = new VagrantSshCommand($class); } return $defaultCommands; }