I just published a "read me" file with a piece of software I wrote. In the file, I describe an interaction between the user and the computer:
Simply run:
tpot http localhost:8080and you shall be greeted:
tpot connected | https://nz2v6g7o.tpot.sgnl24.com
My friend believes the word "with" is necessary between "greeted" and the colon. I believe it is not.
Is it, and why or why not?
(Also, I'm not entirely sure what tag is most appropriate.)