nmbug: add "$ " prefix to shell commands

diff --git a/nmbug.mdwn b/nmbug.mdwn
index 6bc04c863882a74bf56f9aa3d358507d9f6a8f19..db2df2d09bc28e3fd77dfa8ae63de363f868d274 100644 (file)
--- 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