replaced codehilite with pygments
All checks were successful
Build and Deploy Documentation / build-and-deploy (push) Successful in 5s

This commit is contained in:
2025-12-05 10:13:48 +01:00
parent 2cc50a0648
commit 5f78238b55
2 changed files with 17 additions and 20 deletions

View File

@@ -6,11 +6,11 @@
## Clone a repository
Copy an existing remote repository to your local machine.
```bash
```shell
git clone <repository_url>
```
Example:
```bash
```shell
git clone https://github.com/user/repo.git
```
@@ -19,11 +19,11 @@ git clone https://github.com/user/repo.git
## Pull changes from remote
Fetch and merge changes from a remote repository to your local branch.
```bash
```shell
git pull <remote> <branch>
```
Example:
```bash
```shell
git pull origin main
```
@@ -32,11 +32,11 @@ git pull origin main
## Push changes to remote
Upload local commits to a remote repository.
```bash
```shell
git push <remote> <branch>
```
Example:
```bash
```shell
git push origin main
```
@@ -45,11 +45,11 @@ git push origin main
## Rebase branches
Reapply commits on top of another base tip.
```bash
```shell
git rebase <branch>
```
Example:
```bash
```shell
git rebase main
```
@@ -58,7 +58,7 @@ git rebase main
## Initialize a new repository
Create a new Git repository in the current directory.
```bash
```shell
git init
```
@@ -67,17 +67,17 @@ git init
## Manage remotes
- **Add a remote:**
```bash
```shell
git remote add <name> <url>
```
- **Set/Update remote URL:**
```bash
```shell
git remote set-url <name> <url>
```
- **Remove a remote (e.g., origin):**
```bash
```shell
git remote remove origin
```
@@ -86,7 +86,7 @@ git remote remove origin
## Commit changes with GPG signature
Sign your commit with a GPG key.
```bash
```shell
git commit -S -m "Your commit message"
```
- `-S` → sign commit with GPG key
@@ -96,11 +96,11 @@ git commit -S -m "Your commit message"
## Notes
- To check the configured remotes:
```bash
```shell
git remote -v
```
- To see commit history:
```bash
```shell
# Those options only add Styling,
git log --oneline --graph --all --decorate
@@ -110,7 +110,7 @@ git log
```
- Stage changes before committing:
```bash
```shell
git add <file>
git add . # stage all changes
```

View File

@@ -37,10 +37,7 @@ theme:
name: Blue
primary: blue
accent: blue
markdown_extensions:
- codehilite:
guess_lang: true
pygments_style: monokai
extra_css: