Closed brandmaier closed 4 years ago
What about changing # -- type this in a terminal -- to # -- type this on the command line -- throughout?
# -- type this in a terminal --
# -- type this on the command line --
OK
The word terminal is still used pretty commonly, should it be replaced everywhere?
I think it's OK.
What about changing
# -- type this in a terminal --
to# -- type this on the command line --
throughout?