Merge branch 'main' of github.com:acedanger/shell

This commit is contained in:
Peter Wood
2026-01-15 06:36:04 -05:00
2 changed files with 22 additions and 1 deletions

View File

@@ -647,4 +647,7 @@ def main():
if __name__ == "__main__":
main()
try:
main()
finally:
console.show_cursor(True)