gustavonihei opened a new pull request #3716: URL: https://github.com/apache/incubator-nuttx/pull/3716
## Summary This PR intends to add support for bash completion for the `./tools/configure.sh` script. It currently supports completion both for the board name and the configuration, even when arguments are passed to the `./tools/configure.sh` script. ## Impact No impact, new feature that is not automatically enabled. ## Testing The user is required to execute on the working terminal: `source tools/configure_completion.bash`  -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
