From 10743f71b471a44408adc7562656ec8c8df6416b Mon Sep 17 00:00:00 2001 From: Julia Evans Date: Mon, 29 Sep 2025 16:28:02 -0400 Subject: [PATCH 1/4] Add a Tools page Put on the homepage and in the sidebar Signed-off-by: Julia Evans --- content/tools/_index.html | 50 +++++++++++++++++++ layouts/partials/sidebar.html | 18 +++++-- layouts/partials/site-root.html | 7 +++ static/images/icons/fa-cloud.svg | 1 + static/images/icons/fa-desktop.svg | 1 + static/images/icons/fa-screwdriver-wrench.svg | 1 + static/images/icons/fa-terminal.svg | 1 + 7 files changed, 76 insertions(+), 3 deletions(-) create mode 100644 content/tools/_index.html create mode 100644 static/images/icons/fa-cloud.svg create mode 100644 static/images/icons/fa-desktop.svg create mode 100644 static/images/icons/fa-screwdriver-wrench.svg create mode 100644 static/images/icons/fa-terminal.svg diff --git a/content/tools/_index.html b/content/tools/_index.html new file mode 100644 index 0000000000..438f4d965b --- /dev/null +++ b/content/tools/_index.html @@ -0,0 +1,50 @@ +--- +section: "tools" +title: "Git - Tools" +url: /tools.html +--- + +
+ +

Tools

+ +

+ The Git community has built a huge number of tools to make it easier to use Git. + While you can use Git on its own, most Git users use some of these extra tools. + There are editor integrations, GUIs, tools for resolving merge conflicts, + hosting services, and much more. +

+ +
+ }}"> + }}" > +

Command Line Tools

+
+ +

+ Tools to view and manipulate your Git history +

+
+ +
+ }}"> + }}" > +

GUIs

+
+ +

+ Graphical user interfaces and editor integrations +

+
+ +
+ }}"> + }}" > +

Hosting

+
+ +

+ Git repository hosting +

+
+
diff --git a/layouts/partials/sidebar.html b/layouts/partials/sidebar.html index eeca912a05..90c3783752 100644 --- a/layouts/partials/sidebar.html +++ b/layouts/partials/sidebar.html @@ -35,15 +35,27 @@ + +
  • + Tools + +
  • Reference
  • Downloads