diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-14 13:28:31 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-14 13:31:18 +0100 |
| commit | 2671a7a19675e6814f160ff92d4004c4d9175fd4 (patch) | |
| tree | c63508db0dd2c23814ad7d2bd7ede12759893425 | |
| parent | 960a69ba709cdf36e52fdbc4f1ef20af14384256 (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-metadata | bin | 6028 -> 6028 bytes | |||
| -rw-r--r-- | README-hacking.md | 10 |
2 files changed, 5 insertions, 5 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 7de0cc8..e4354b3 100644 --- a/.file-metadata +++ b/.file-metadata 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 + ``` |