added command for auto-completing connection names and fixed bug in c…#455

Open

choss wants to merge 4 commits intojulianhyde:mainfrom choss:main

+70-1

Commits on Nov 1, 2021

added command for auto-completing connection names and fixed bug in command line completion
Clayton Hoss
committed
fixing checkstyle
Clayton Hoss
committed
more checkstyle fixes
Clayton Hoss
committed

Commits on Nov 2, 2021

Added missing help-text
Clayton Hoss
committed