Skip to content

Conversation

@samuel-w
Copy link
Contributor

@samuel-w samuel-w commented Aug 4, 2020

I found this bug while testing #130. Added a testcase for the future.

Sped up get_commands about 5x, tested with

import time
start_time = time.time_ns()
for i in range(100):
    get_commands()
print("Time: {}".format(time.time_ns()-start_time))

Fixes #131

@samuel-w samuel-w changed the title Fix 'Consider contributing a Pull Request... not showing up Fix no documentation error not showing up, optimize get_commands Aug 5, 2020
@samuel-w samuel-w changed the title Fix no documentation error not showing up, optimize get_commands Fix "documentation is not available." not showing up, optimize get_commands Aug 5, 2020
@samuel-w samuel-w changed the title Fix "documentation is not available." not showing up, optimize get_commands Fix "documentation is not available.", optimize get_commands Aug 5, 2020
@samuel-w samuel-w changed the title Fix "documentation is not available.", optimize get_commands Fix "documentation is not available.", refactor get_commands Aug 6, 2020
@MasterOdin MasterOdin merged commit 1dd7e3f into tldr-pages:master Aug 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

"Documentation is not available" never shows up

2 participants