* [PATCH htdocs] current: use tabs for gitconfig settings
@ 2023-12-12 23:18 Mike Frysinger
2023-12-15 15:52 ` Tom Tromey
0 siblings, 1 reply; 2+ messages in thread
From: Mike Frysinger @ 2023-12-12 23:18 UTC (permalink / raw)
To: gdb-patches
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(-)
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,
--
2.43.0
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH htdocs] current: use tabs for gitconfig settings
2023-12-12 23:18 [PATCH htdocs] current: use tabs for gitconfig settings Mike Frysinger
@ 2023-12-15 15:52 ` Tom Tromey
0 siblings, 0 replies; 2+ messages in thread
From: Tom Tromey @ 2023-12-15 15:52 UTC (permalink / raw)
To: Mike Frysinger; +Cc: gdb-patches
>>>>> "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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-12-15 15:52 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-12 23:18 [PATCH htdocs] current: use tabs for gitconfig settings Mike Frysinger
2023-12-15 15:52 ` Tom Tromey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).