On Fri, 8 May 2020 22:00:47 +0800Changbin Du <changbin.du@gmail.com> wrote:> > I agree that spaces look better.> > > I am okay with space. But what about ":" which is used by shell PATH and many> others?I'm OK with a ':'-- Steve