aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-06-14 13:28:31 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-06-14 13:31:18 +0100
commit2671a7a19675e6814f160ff92d4004c4d9175fd4 (patch)
treec63508db0dd2c23814ad7d2bd7ede12759893425
parent960a69ba709cdf36e52fdbc4f1ef20af14384256 (diff)
Minor correction in README-hacking.md for better web-rendering
The new command-box wasn't being rendered properly, so another correction is made here. I also added the prompt `$' sign in another box of commands.
-rw-r--r--.file-metadatabin6028 -> 6028 bytes
-rw-r--r--README-hacking.md10
2 files changed, 5 insertions, 5 deletions
diff --git a/.file-metadata b/.file-metadata
index 7de0cc8..e4354b3 100644
--- a/.file-metadata
+++ b/.file-metadata
Binary files differ
diff --git a/README-hacking.md b/README-hacking.md
index 1e8e3ab..a02fe87 100644
--- a/README-hacking.md
+++ b/README-hacking.md
@@ -650,8 +650,8 @@ get more advanced in later stages of your work.
from now on.
```shell
- git push
- git push --tags
+ $ git push
+ $ git push --tags
```
- **Start your exciting research**: You are now ready to add flesh and
@@ -960,9 +960,9 @@ for the benefit of others.
software are being built). Press `CTRL-C` to stop it and return back
to the command-line).
- ```shell
- while true; do echo; date; ls .build/software/build-tmp; sleep 1; done
- ```
+ ```shell
+ $ while true; do echo; date; ls .build/software/build-tmp; sleep 1; done
+ ```