forked from w3c/csswg-drafts
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Revert "Merge branch 'main' of https://github.com/w3c/csswg-d…
…rafts into main"" This reverts commit 9d14c23. The commit that it was reverting was actually fine; it was a merge, but looked like it was bad because it had a large diff against the first parent but it had no diff against the second (which was the relevant one in a "linear history" of this repository).
- Loading branch information
Showing
122 changed files
with
13,395 additions
and
8,963 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
#!/bin/bash | ||
# This script automates a large part of making sure "user agent" is written in lower case. | ||
# Doing so is backed by the CSS-WG resolution recorded at https://logs.csswg.org/irc.w3.org/css/2021-04-08/#e1402191 | ||
# After this script has run, | ||
# there can remain a few instances of the term being used. | ||
# Those will have to be fixed manually. | ||
# Run frequently to avoid cruft piling up. | ||
for FILE in "$@" | ||
do | ||
sed -i -e "s/\([a-zA-Z,;]\) User Agent/\1 user agent/"\ | ||
-e "s/Note: User Agent/Note: User agent/"\ | ||
-e "s/\. User Agent/. User agent/" $FILE | ||
done | ||
echo "Remaining instances of 'User Agent':" | ||
grep -R "User Agent" $@ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.