Closed hidde-jan closed 1 week ago
Thanks for opening this @hidde-jan! I'm okay with dropping the $
. @patzielinski is this blocked on #405, which should land imminently?
is this blocked on #405, which should land imminently?
Yes - blocked on that.
@hidde-jan could you rebase now that #405 has been merged and also sign off? Thanks!
@hidde-jan could you rebase now that #405 has been merged and also sign off? Thanks!
Of course. I noticed that there are multiple documentation pages that use a prompt prefix. For consistency I replaced it everywhere. If that's not suitable, please let me know and I'll modify the commit to only change the commands in the getting started guide.
Removing the leading
$
prompt makes it easier for users to copy+paste commands straight from the getting started page.