From: Dmitry Kurochkin Date: Fri, 23 Dec 2011 22:30:07 +0000 (+0400) Subject: nmbug: add "$ " prefix to shell commands X-Git-Url: https://git.cworth.org/git?p=notmuch-wiki;a=commitdiff_plain;h=0eb698568098800852272a7255e766de5988c7b5 nmbug: add "$ " prefix to shell commands --- diff --git a/nmbug.mdwn b/nmbug.mdwn index 6bc04c8..db2df2d 100644 --- a/nmbug.mdwn +++ b/nmbug.mdwn @@ -67,11 +67,11 @@ For the moment, we are using a central repo, hosted at: To get push access, send your public key (ideally in a gpg signed email) to David Bremner. There is a convenience command: - nmbug push + $ nmbug push But you will have to change your url with: - git --git-dir=$HOME/.nmbug remote set-url origin nmbug@nmbug.tethera.net:nmbug-tags + $ git --git-dir=$HOME/.nmbug remote set-url origin nmbug@nmbug.tethera.net:nmbug-tags ## Tagging conventions