[htdocs] current: use tabs for gitconfig settings

Message ID 20231212231855.23447-1-vapier@gentoo.org
State New
Headers
Series [htdocs] current: use tabs for gitconfig settings |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gdb_build--master-aarch64 fail Patch failed to apply
linaro-tcwg-bot/tcwg_gdb_build--master-arm fail Patch failed to apply

Commit Message

Mike Frysinger Dec. 12, 2023, 11:18 p.m. UTC
  Since git itself prefers tabs to indent, use them here too.  This makes
copy & paste "just work", and people/editors that really wants spaces
and never tabs will most likely auto-convert to their preferred indent
level.

Rendering-wise, it's unchanged as HTML/CSS default to 8-space tab stops.
This will allow us to scale the tab size based on the device's size in a
follow up change to make it more readable -- raw spaces wouldn't.
---
 current/index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
  

Comments

Tom Tromey Dec. 15, 2023, 3:52 p.m. UTC | #1
>>>>> "Mike" == Mike Frysinger <vapier@gentoo.org> writes:

Mike> Since git itself prefers tabs to indent, use them here too.  This makes
Mike> copy & paste "just work", and people/editors that really wants spaces
Mike> and never tabs will most likely auto-convert to their preferred indent
Mike> level.

Mike> Rendering-wise, it's unchanged as HTML/CSS default to 8-space tab stops.
Mike> This will allow us to scale the tab size based on the device's size in a
Mike> follow up change to make it more readable -- raw spaces wouldn't.

Looks good, thank you.

Tom
  

Patch

diff --git a/current/index.html b/current/index.html
index 66dc5a82b999..db78d46f9075 100644
--- a/current/index.html
+++ b/current/index.html
@@ -82,16 +82,16 @@  For example, you might have:
 
 <pre>
 [remote "origin"]
-        url = https://sourceware.org/git/binutils-gdb.git
-        fetch = +refs/heads/*:refs/remotes/origin/*
+	url = https://sourceware.org/git/binutils-gdb.git
+	fetch = +refs/heads/*:refs/remotes/origin/*
 </pre>
 
 And you would edit this to use "ssh:" rather than "https:":
 
 <pre>
 [remote "origin"]
-        url = ssh://sourceware.org/git/binutils-gdb.git
-        fetch = +refs/heads/*:refs/remotes/origin/*
+	url = ssh://sourceware.org/git/binutils-gdb.git
+	fetch = +refs/heads/*:refs/remotes/origin/*
 </pre>
 
 Alternatively, to check out a new read-write copy of the repository,