diff options
| -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 + ``` |