From 0eb698568098800852272a7255e766de5988c7b5 Mon Sep 17 00:00:00 2001 From: Dmitry Kurochkin Date: Sat, 24 Dec 2011 02:30:07 +0400 Subject: [PATCH] nmbug: add "$ " prefix to shell commands --- nmbug.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.43.0