Regularize whitespace; add editorconfig
- Change the few files that use leading tabs into leading spaces. This way they match the other files in the repo. - Add an EditorConfig file so that supported editors will automatically use spaces instead of tabs. - (Extra) Add some common editor backup-file extensions to .gitignore.
This commit is contained in:
Chris White
parent
1b6f7d1717
commit
f112ab0826
8 changed files with 167 additions and 155 deletions
7
.editorconfig
Normal file
7
.editorconfig
Normal file
|
|
@ -0,0 +1,7 @@
|
||||||
|
# see https://editorconfig.org for the format of this file
|
||||||
|
root = true
|
||||||
|
|
||||||
|
[*]
|
||||||
|
end_of_line = LF
|
||||||
|
indent_style = space
|
||||||
|
indent_size = 4
|
||||||
5
.gitignore
vendored
5
.gitignore
vendored
|
|
@ -3,3 +3,8 @@ http/images
|
||||||
http/*.html
|
http/*.html
|
||||||
http/favicon.ico
|
http/favicon.ico
|
||||||
http/robots.txt
|
http/robots.txt
|
||||||
|
|
||||||
|
# Editor and other backup files
|
||||||
|
*.swp
|
||||||
|
*~
|
||||||
|
~*
|
||||||
|
|
|
||||||
|
|
@ -223,7 +223,7 @@ server.document-root = server_root + "/elixir/http"
|
||||||
url.redirect = ( "^/$" => "/linux/latest/source" )
|
url.redirect = ( "^/$" => "/linux/latest/source" )
|
||||||
url.rewrite = ( "^/.*/(source|ident|search)" => "/web.py/$1")
|
url.rewrite = ( "^/.*/(source|ident|search)" => "/web.py/$1")
|
||||||
setenv.add-environment = ( "PYTHONIOENCODING" => "utf-8",
|
setenv.add-environment = ( "PYTHONIOENCODING" => "utf-8",
|
||||||
"LXR_PROJ_DIR" => "/path/to/elixir-data" )
|
"LXR_PROJ_DIR" => "/path/to/elixir-data" )
|
||||||
```
|
```
|
||||||
|
|
||||||
### Using a cache to improve performance
|
### Using a cache to improve performance
|
||||||
|
|
|
||||||
|
|
@ -23,10 +23,10 @@
|
||||||
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#ededed', GradientType=0 );
|
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#ededed', GradientType=0 );
|
||||||
}
|
}
|
||||||
.message-banner-desktop p.title {
|
.message-banner-desktop p.title {
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
margin: 0;
|
margin: 0;
|
||||||
margin-top: 5px;
|
margin-top: 5px;
|
||||||
margin-bottom: 8px;
|
margin-bottom: 8px;
|
||||||
}
|
}
|
||||||
.message-banner-desktop .subtitle {
|
.message-banner-desktop .subtitle {
|
||||||
width: 210px;
|
width: 210px;
|
||||||
|
|
@ -37,46 +37,46 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
.message-banner-mobile {
|
.message-banner-mobile {
|
||||||
display: none;
|
display: none;
|
||||||
text-align: center;
|
text-align: center;
|
||||||
position: absolute;
|
position: absolute;
|
||||||
background: #fe003e;
|
background: #fe003e;
|
||||||
color: #fff;
|
color: #fff;
|
||||||
font-family: Arial;
|
font-family: Arial;
|
||||||
-webkit-transform:rotate(-90deg);
|
-webkit-transform:rotate(-90deg);
|
||||||
-moz-transform:rotate(-90deg);
|
-moz-transform:rotate(-90deg);
|
||||||
-o-transform: rotate(-90deg);
|
-o-transform: rotate(-90deg);
|
||||||
-ms-transform:rotate(-90deg);
|
-ms-transform:rotate(-90deg);
|
||||||
transform: rotate(-90deg);
|
transform: rotate(-90deg);
|
||||||
left: -58px;
|
left: -58px;
|
||||||
bottom: 58px;
|
bottom: 58px;
|
||||||
padding: 5px;
|
padding: 5px;
|
||||||
}
|
}
|
||||||
.message-banner-mobile .title {
|
.message-banner-mobile .title {
|
||||||
margin: 0;
|
margin: 0;
|
||||||
font-size: 25px;
|
font-size: 25px;
|
||||||
}
|
}
|
||||||
.message-banner-mobile .subtitle {
|
.message-banner-mobile .subtitle {
|
||||||
margin: 0;
|
margin: 0;
|
||||||
font-size: 11px;
|
font-size: 11px;
|
||||||
}
|
}
|
||||||
.message-banner-mobile:hover {
|
.message-banner-mobile:hover {
|
||||||
background: #f37b30;
|
background: #f37b30;
|
||||||
}
|
}
|
||||||
.message-banner-mobile .message-link,
|
.message-banner-mobile .message-link,
|
||||||
.message-banner-desktop .message-link {
|
.message-banner-desktop .message-link {
|
||||||
position: absolute;
|
position: absolute;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
height: 100%;
|
height: 100%;
|
||||||
top: 0;
|
top: 0;
|
||||||
left: 0;
|
left: 0;
|
||||||
z-index: 99999;
|
z-index: 99999;
|
||||||
}
|
}
|
||||||
header.header {
|
header.header {
|
||||||
position: relative !important;
|
position: relative !important;
|
||||||
}
|
}
|
||||||
header.header h2 {
|
header.header h2 {
|
||||||
margin-bottom: 3rem;
|
margin-bottom: 3rem;
|
||||||
}
|
}
|
||||||
.icon-googleplus:before,
|
.icon-googleplus:before,
|
||||||
.icon-mastodon:before {
|
.icon-mastodon:before {
|
||||||
|
|
@ -84,26 +84,26 @@ header.header h2 {
|
||||||
left: 3px;
|
left: 3px;
|
||||||
}
|
}
|
||||||
.select-projects {
|
.select-projects {
|
||||||
background-position: bottom 0.15em right 0.3em;
|
background-position: bottom 0.15em right 0.3em;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media screen and (max-width: 600px) {
|
@media screen and (max-width: 600px) {
|
||||||
.message-banner-desktop {
|
.message-banner-desktop {
|
||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
.message-banner-mobile {
|
.message-banner-mobile {
|
||||||
display: block;
|
display: block;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@media screen and (max-width: 400px) {
|
@media screen and (max-width: 400px) {
|
||||||
.message-banner-mobile {
|
.message-banner-mobile {
|
||||||
bottom: 50px;
|
bottom: 50px;
|
||||||
}
|
}
|
||||||
.message-banner-mobile .title {
|
.message-banner-mobile .title {
|
||||||
font-size: 20px;
|
font-size: 20px;
|
||||||
}
|
}
|
||||||
.message-banner-mobile .subtitle {
|
.message-banner-mobile .subtitle {
|
||||||
font-size: 9.5px;
|
font-size: 9.5px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -105,13 +105,13 @@ list_blobs()
|
||||||
v=`echo $opt2 | version_rev`
|
v=`echo $opt2 | version_rev`
|
||||||
|
|
||||||
if [ "$opt1" = '-p' ]; then
|
if [ "$opt1" = '-p' ]; then
|
||||||
# "path" option: return blob hash and full path
|
# "path" option: return blob hash and full path
|
||||||
format='\1 \2'
|
format='\1 \2'
|
||||||
elif [ "$opt1" = '-f' ]; then
|
elif [ "$opt1" = '-f' ]; then
|
||||||
# "file" option: return blob hash and file name (without its path)
|
# "file" option: return blob hash and file name (without its path)
|
||||||
format='\1 \4'
|
format='\1 \4'
|
||||||
else
|
else
|
||||||
# default option: return only blob hash
|
# default option: return only blob hash
|
||||||
format='\1'
|
format='\1'
|
||||||
v=`echo $opt1 | version_rev`
|
v=`echo $opt1 | version_rev`
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
|
|
@ -1,37 +1,37 @@
|
||||||
<header class="header">
|
<header class="header">
|
||||||
<div class="message-banner-mobile">
|
<div class="message-banner-mobile">
|
||||||
<p class="title">Training sessions</p>
|
<p class="title">Training sessions</p>
|
||||||
<p class="subtitle">Kernel and Embedded Linux</p>
|
<p class="subtitle">Kernel and Embedded Linux</p>
|
||||||
<a class="message-link" target="_blank" href="https://bootlin.com/training/sessions/"></a>
|
<a class="message-link" target="_blank" href="https://bootlin.com/training/sessions/"></a>
|
||||||
</div>
|
</div>
|
||||||
<div class="message-banner-desktop">
|
<div class="message-banner-desktop">
|
||||||
<p class="title">Next training sessions</p>
|
<p class="title">Next training sessions</p>
|
||||||
<div class="subtitle">Linux Kernel: March 16-20</div>
|
<div class="subtitle">Linux Kernel: March 16-20</div>
|
||||||
<div class="subtitle">Embedded Linux: May 11-15</div>
|
<div class="subtitle">Embedded Linux: May 11-15</div>
|
||||||
<div class="subtitle">and on-site sessions</div>
|
<div class="subtitle">and on-site sessions</div>
|
||||||
<a class="message-link" target="_blank" href="https://bootlin.com/training/sessions/"></a>
|
<a class="message-link" target="_blank" href="https://bootlin.com/training/sessions/"></a>
|
||||||
</div>
|
</div>
|
||||||
<h1>
|
<h1>
|
||||||
<object data="/images/bootlin-logo-white.svg" type="image/svg+xml">
|
<object data="/images/bootlin-logo-white.svg" type="image/svg+xml">
|
||||||
<!-- If the browser doesn't support SVG -->
|
<!-- If the browser doesn't support SVG -->
|
||||||
<img src="/images/bootlin-logo-white.png" alt="Bootlin logo" />
|
<img src="/images/bootlin-logo-white.png" alt="Bootlin logo" />
|
||||||
</object>
|
</object>
|
||||||
</h1>
|
</h1>
|
||||||
<h2>Elixir Cross Referencer</h2>
|
<h2>Elixir Cross Referencer</h2>
|
||||||
<nav>
|
<nav>
|
||||||
<ul class="nav-links">
|
<ul class="nav-links">
|
||||||
<li><a href="https://bootlin.com/">Home</a></li>
|
<li><a href="https://bootlin.com/">Home</a></li>
|
||||||
<li><a href="https://bootlin.com/engineering/">Engineering</a></li>
|
<li><a href="https://bootlin.com/engineering/">Engineering</a></li>
|
||||||
<li><a href="https://bootlin.com/training/">Training</a></li>
|
<li><a href="https://bootlin.com/training/">Training</a></li>
|
||||||
<li><a href="https://bootlin.com/docs/">Docs</a></li>
|
<li><a href="https://bootlin.com/docs/">Docs</a></li>
|
||||||
<li><a href="https://bootlin.com/community/">Community</a></li>
|
<li><a href="https://bootlin.com/community/">Community</a></li>
|
||||||
<li><a href="https://bootlin.com/company/">Company</a></li>
|
<li><a href="https://bootlin.com/company/">Company</a></li>
|
||||||
</ul>
|
</ul>
|
||||||
<ul class="social-icons">
|
<ul class="social-icons">
|
||||||
<li><a target="_blank" class="icon-twitter" href="http://twitter.com/bootlincom">twitter</a></li>
|
<li><a target="_blank" class="icon-twitter" href="http://twitter.com/bootlincom">twitter</a></li>
|
||||||
<li><a target="_blank" class="icon-mastodon" href="https://fosstodon.org/@bootlin">mastodon</a></li>
|
<li><a target="_blank" class="icon-mastodon" href="https://fosstodon.org/@bootlin">mastodon</a></li>
|
||||||
<li><a target="_blank" class="icon-linkedin" href="https://www.linkedin.com/groups/4501089">linkedin</a></li>
|
<li><a target="_blank" class="icon-linkedin" href="https://www.linkedin.com/groups/4501089">linkedin</a></li>
|
||||||
<li><a target="_blank" class="icon-github" href="https://github.com/bootlin">github</a></li>
|
<li><a target="_blank" class="icon-github" href="https://github.com/bootlin">github</a></li>
|
||||||
</ul>
|
</ul>
|
||||||
</nav>
|
</nav>
|
||||||
</header>
|
</header>
|
||||||
|
|
|
||||||
|
|
@ -1,64 +1,64 @@
|
||||||
<!doctype html>
|
<!doctype html>
|
||||||
<html class="no-js">
|
<html class="no-js">
|
||||||
<head>
|
<head>
|
||||||
<meta charset="utf-8">
|
<meta charset="utf-8">
|
||||||
<meta http-equiv="x-ua-compatible" content="ie=edge">
|
<meta http-equiv="x-ua-compatible" content="ie=edge">
|
||||||
<title>{{title}}</title>
|
<title>{{title}}</title>
|
||||||
<meta name="description" content="Elixir Cross Referencer">
|
<meta name="description" content="Elixir Cross Referencer">
|
||||||
<meta name="viewport" content="user-scalable=no, initial-scale=1, maximum-scale=1, minimum-scale=1" />
|
<meta name="viewport" content="user-scalable=no, initial-scale=1, maximum-scale=1, minimum-scale=1" />
|
||||||
<link rel="stylesheet" href="/style.css?v=3">
|
<link rel="stylesheet" href="/style.css?v=3">
|
||||||
<link rel="stylesheet" href="/banner.css">
|
<link rel="stylesheet" href="/banner.css">
|
||||||
<base href="{{baseurl}}"/>
|
<base href="{{baseurl}}"/>
|
||||||
<script>document.documentElement.className = 'js'</script>
|
<script>document.documentElement.className = 'js'</script>
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
<!--[if lte IE 9]>
|
<!--[if lte IE 9]>
|
||||||
<p class="browserupgrade">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience and security.</p>
|
<p class="browserupgrade">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience and security.</p>
|
||||||
<![endif]-->
|
<![endif]-->
|
||||||
<div class="wrapper">
|
<div class="wrapper">
|
||||||
{% include 'header.html' %}
|
{% include 'header.html' %}
|
||||||
<header class="topbar">
|
<header class="topbar">
|
||||||
<div class="breadcrumb">
|
<div class="breadcrumb">
|
||||||
<a href="{{version}}/{{url}}#menu" class="open-menu icon-menu screenreader" title="Open Menu">Open Menu</a>
|
<a href="{{version}}/{{url}}#menu" class="open-menu icon-menu screenreader" title="Open Menu">Open Menu</a>
|
||||||
{{breadcrumb}}
|
{{breadcrumb}}
|
||||||
</div>
|
</div>
|
||||||
<div class="search">
|
<div class="search">
|
||||||
<form method="post" action="{{version}}/ident">
|
<form method="post" action="{{version}}/ident">
|
||||||
<input placeholder="Search Identifier" type="text" name="i" value="{{ident}}"/>
|
<input placeholder="Search Identifier" type="text" name="i" value="{{ident}}"/>
|
||||||
<button class="icon-search"><span class="screenreader">Go get it</span></button>
|
<button class="icon-search"><span class="screenreader">Go get it</span></button>
|
||||||
</form>
|
</form>
|
||||||
</div>
|
</div>
|
||||||
</header>
|
</header>
|
||||||
<main>
|
<main>
|
||||||
<div class="workspace">
|
<div class="workspace">
|
||||||
{{main}}
|
{{main}}
|
||||||
</div>
|
</div>
|
||||||
<aside class="sidebar" id="menu">
|
<aside class="sidebar" id="menu">
|
||||||
<select class="select-projects" onchange="window.location.href=this.value">
|
<select class="select-projects" onchange="window.location.href=this.value">
|
||||||
{%- for p in projects %}
|
{%- for p in projects %}
|
||||||
<option{% if p == project %} selected{% endif %} value="/{{p}}/latest/source">{{p}}</option>
|
<option{% if p == project %} selected{% endif %} value="/{{p}}/latest/source">{{p}}</option>
|
||||||
{%- endfor %}
|
{%- endfor %}
|
||||||
</select>
|
</select>
|
||||||
<nav>
|
<nav>
|
||||||
<h3 class="screenreader">Projects</h3>
|
<h3 class="screenreader">Projects</h3>
|
||||||
<ul class="projects">
|
<ul class="projects">
|
||||||
{%- for p in projects %}
|
{%- for p in projects %}
|
||||||
<li{% if p == project %} class="active"{% endif %}><a href="/{{p}}/latest/source">{{p}}</a></li>
|
<li{% if p == project %} class="active"{% endif %}><a href="/{{p}}/latest/source">{{p}}</a></li>
|
||||||
{%- endfor %}
|
{%- endfor %}
|
||||||
</ul>
|
</ul>
|
||||||
<h3 class="screenreader">Versions</h3>
|
<h3 class="screenreader">Versions</h3>
|
||||||
<ul class="versions">
|
<ul class="versions">
|
||||||
{{versions}}
|
{{versions}}
|
||||||
</ul>
|
</ul>
|
||||||
</nav>
|
</nav>
|
||||||
</aside>
|
</aside>
|
||||||
</main>
|
</main>
|
||||||
<footer class="footer">
|
<footer class="footer">
|
||||||
<span class="version"><a href="{{version}}/source">{{project}}</a> <em class="icon-tag">{{tag}}</em></span>
|
<span class="version"><a href="{{version}}/source">{{project}}</a> <em class="icon-tag">{{tag}}</em></span>
|
||||||
<a title="Go to top of the page" class="go-top icon-up screenreader" href="{{version}}/{{url}}#">Top</a>
|
<a title="Go to top of the page" class="go-top icon-up screenreader" href="{{version}}/{{url}}#">Top</a>
|
||||||
<span class="poweredby">powered by <a target="_blank" href="https://github.com/bootlin/elixir">Elixir 1.0</a></span>
|
<span class="poweredby">powered by <a target="_blank" href="https://github.com/bootlin/elixir">Elixir 1.0</a></span>
|
||||||
</footer>
|
</footer>
|
||||||
</div>
|
</div>
|
||||||
<script src="/script.js?v=3"></script>
|
<script src="/script.js?v=3"></script>
|
||||||
</body>
|
</body>
|
||||||
</html>
|
</html>
|
||||||
|
|
|
||||||
|
|
@ -19,9 +19,9 @@ index() {
|
||||||
|
|
||||||
if [ "$remote" != "" ]
|
if [ "$remote" != "" ]
|
||||||
then
|
then
|
||||||
cd $LXR_REPO_DIR
|
cd $LXR_REPO_DIR
|
||||||
git remote add other $remote
|
git remote add other $remote
|
||||||
git fetch other
|
git fetch other
|
||||||
fi
|
fi
|
||||||
|
|
||||||
cd $ELIXIR_INSTALL
|
cd $ELIXIR_INSTALL
|
||||||
|
|
@ -37,16 +37,16 @@ index() {
|
||||||
|
|
||||||
if [ "$ELIXIR_ROOT" = "" ]
|
if [ "$ELIXIR_ROOT" = "" ]
|
||||||
then
|
then
|
||||||
echo "Error: ELIXIR_ROOT environment variable not set"
|
echo "Error: ELIXIR_ROOT environment variable not set"
|
||||||
echo "It's where Elixir data are stored"
|
echo "It's where Elixir data are stored"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ "$ELIXIR_INSTALL" = "" ]
|
if [ "$ELIXIR_INSTALL" = "" ]
|
||||||
then
|
then
|
||||||
echo "Error: ELIXIR_INSTALL environment variable not set"
|
echo "Error: ELIXIR_INSTALL environment variable not set"
|
||||||
echo "It's where Elixir code is stored"
|
echo "It's where Elixir code is stored"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
index amazon-freertos https://github.com/aws/amazon-freertos.git &
|
index amazon-freertos https://github.com/aws/amazon-freertos.git &
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue