Skip to content

Commit 3d3a996

Browse files
authored
Merge pull request #42 from amichai-bd/roman_branch
edditing build_gui and extention *.md
2 parents 9fc8997 + cf85ced commit 3d3a996

File tree

7 files changed

+32
-2
lines changed

7 files changed

+32
-2
lines changed

docs/TFM/projectTool/extensions.md

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -133,3 +133,33 @@ This is a code example of `*.json` file, feel free to play with it
133133
Documentation and example can be found [click here](https://github.com/wavedrom/wavedrom)
134134
https://wavedrom.com/tutorial.html
135135
<u> extension id </u>: bmpenuelas.waveform-render
136+
137+
### Git History
138+
The "Git History" extension for Visual Studio Code is a powerful tool that enhances your Git version control experience within the VSCode environment. This extension provides a seamless way to explore the commit history of your Git-managed files and repositories directly from the code editor.
139+
140+
Key features and functions of the "Git History" extension include:
141+
142+
**File History Viewer:** It allows you to view the history of a specific file, providing a timeline of commits and changes made to that file over time.
143+
144+
**Commit Details:** You can access detailed information about each commit, such as commit messages, authors, timestamps, and the changes made in that commit.
145+
146+
**Comparison:** It enables you to compare different versions of a file, making it easy to see what was added, modified, or removed between commits.
147+
148+
**Search and Filtering:** It provides search and filtering capabilities, allowing you to locate specific commits, authors, or messages within the commit history.
149+
150+
and many more...
151+
152+
Overall, the "Git History" extension simplifies the process of tracking changes and understanding the history of your codebase, making it an essential tool for developers who rely on Git for version control in their VSCode workflow.
153+
154+
***How to use it?***
155+
156+
suppose you want to see the history of a specific file.
157+
1. Open the file you want to see its history.
158+
2. Press `ctrl+shift+p` and type `Git: View File History` and press enter. Or right click on the file and choose `Git: View File History`.
159+
160+
<u> extension id </u>: donjayamanne.githistory
161+
162+
163+
164+
165+

docs/build_script/advanced build options.md renamed to docs/build_script/advanced_build_options.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# advanced build options
12
If you examine the commands executed in the background during this stage, you will notice various parameters being defined, such as memory length, the crt0.s file, and more. You have the option to modify some of these parameters by using the `-cfg`` flag and providing a configuration.json file.
23
In case you don't provide a configuration.json file, the default configuration.json file will be used.
34

docs/build_script/build_gui.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@ Lets assume we want to run the following command:
1717
all you need to do is to select the relevant options as shown in the figure and click on the `Run Command` button.
1818

1919
![gui_build2.png](/snapshots/gui_build2.png)
20-
2120
If you wish to see the commands that runs on the terminal, you can choose the `-cmd` box and than `Run Command`.
2221

2322

sidebars.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -131,7 +131,7 @@ MAFIA_Build: [
131131
},
132132
{
133133
type: 'doc',
134-
id: 'build_script/advanced build options',
134+
id: 'build_script/advanced_build_options',
135135
label: 'advanced build options',
136136
},
137137
{
Loading

static/snapshots/gui_build1.png

-283 Bytes
Loading

static/snapshots/gui_build2.png

-136 Bytes
Loading

0 commit comments

Comments
 (0)