[Enhancement] search platform list to find a command#116

jimmychang851129 wants to merge 1 commit intotldr-pages:maintldr-pages/tldr-c-client:mainfrom

jimmychang851129:docker-tldr-cjimmychang851129/tldr-c-client:docker-tldr-cCopy head branch name to clipboard