diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2019-06-17 13:25:50 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2019-06-17 13:25:50 +0200 |
| commit | a3f2131eb69c57570a41d036f395df9252c39b8b (patch) | |
| tree | 881b6c92c7d70ee63e37e0416a3bc9d1ec6fd87b /doc/coding-conventions.xml | |
| parent | 3c14bda7f5a065d3d290399db2ef15457af3906b (diff) | |
doc: Use prompt more often
Diffstat (limited to 'doc/coding-conventions.xml')
| -rw-r--r-- | doc/coding-conventions.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/coding-conventions.xml b/doc/coding-conventions.xml index 58ce9c7e627c..48356247a49e 100644 --- a/doc/coding-conventions.xml +++ b/doc/coding-conventions.xml @@ -921,7 +921,7 @@ src = fetchFromGitHub { <para> You can convert between formats with nix-hash, for example: <screen> -$ nix-hash --type sha256 --to-base32 <replaceable>HASH</replaceable> +<prompt>$ </prompt>nix-hash --type sha256 --to-base32 <replaceable>HASH</replaceable> </screen> </para> </listitem> @@ -1038,7 +1038,7 @@ patches = [ ./0001-changes.patch ]; <para> Move to the root directory of the source code you're patching. <screen> -$ cd the/program/source</screen> +<prompt>$ </prompt>cd the/program/source</screen> </para> </listitem> <listitem> @@ -1046,8 +1046,8 @@ $ cd the/program/source</screen> If a git repository is not already present, create one and stage all of the source files. <screen> -$ git init -$ git add .</screen> +<prompt>$ </prompt>git init +<prompt>$ </prompt>git add .</screen> </para> </listitem> <listitem> @@ -1060,7 +1060,7 @@ $ git add .</screen> <para> Use git to create a diff, and pipe the output to a patch file: <screen> -$ git diff > nixpkgs/pkgs/the/package/0001-changes.patch</screen> +<prompt>$ </prompt>git diff > nixpkgs/pkgs/the/package/0001-changes.patch</screen> </para> </listitem> </orderedlist> |