From 2671a7a19675e6814f160ff92d4004c4d9175fd4 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Fri, 14 Jun 2019 13:28:31 +0100 Subject: 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. --- .file-metadata | Bin 6028 -> 6028 bytes README-hacking.md | 10 +++++----- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.file-metadata b/.file-metadata index 7de0cc8..e4354b3 100644 Binary files a/.file-metadata and b/.file-metadata 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 + ``` -- cgit v1.2.1