Skip to content

Commit 9fd9ed0

Browse files
sylvestresylvestre
committed
deploy: f0e8d44 
1 parent d8810c8 commit 9fd9ed0

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

130 files changed

+2931
-143
lines changed

‎user/404.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -111,11 +111,33 @@
111111
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
112112
</nav>
113113

114+
<!-- Track and set sidebar scroll position -->
115+
<script>
116+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
117+
sidebarScrollbox.addEventListener('click', function(e) {
118+
if (e.target.tagName === 'A') {
119+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
120+
}
121+
}, { passive: true });
122+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
123+
sessionStorage.removeItem('sidebar-scroll');
124+
if (sidebarScrollTop) {
125+
// preserve sidebar scroll position when navigating via links within sidebar
126+
sidebarScrollbox.scrollTop = sidebarScrollTop;
127+
} else {
128+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
129+
var activeSection = document.querySelector('#sidebar .active');
130+
if (activeSection) {
131+
activeSection.scrollIntoView({ block: 'center' });
132+
}
133+
}
134+
</script>
135+
114136
<div id="page-wrapper" class="page-wrapper">
115137

116138
<div class="page">
117139
<div id="menu-bar-hover-placeholder"></div>
118-
<div id="menu-bar" class="menu-bar sticky bordered">
140+
<div id="menu-bar" class="menu-bar sticky">
119141
<div class="left-buttons">
120142
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
121143
<i class="fa fa-bars"></i>

‎user/book.js

+4-10
Original file line numberDiff line numberDiff line change
@@ -551,13 +551,6 @@ function playground_text(playground, hidden = true) {
551551
firstContact = null;
552552
}
553553
}, { passive: true });
554-
555-
// Scroll sidebar to current active section
556-
var activeSection = document.getElementById("sidebar").querySelector(".active");
557-
if (activeSection) {
558-
// https://developer.mozilla.org/en-US/docs/Web/API/Element/scrollIntoView
559-
activeSection.scrollIntoView({ block: 'center' });
560-
}
561554
})();
562555

563556
(function chapterNavigation() {
@@ -676,13 +669,14 @@ function playground_text(playground, hidden = true) {
676669
}, { passive: true });
677670
})();
678671
(function controllBorder() {
679-
menu.classList.remove('bordered');
680-
document.addEventListener('scroll', function () {
672+
function updateBorder() {
681673
if (menu.offsetTop === 0) {
682674
menu.classList.remove('bordered');
683675
} else {
684676
menu.classList.add('bordered');
685677
}
686-
}, { passive: true });
678+
}
679+
updateBorder();
680+
document.addEventListener('scroll', updateBorder, { passive: true });
687681
})();
688682
})();

‎user/build.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/contributing.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/extensions.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/index.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/installation.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/multicall.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

‎user/print.html

+25-3
Original file line numberDiff line numberDiff line change
@@ -111,11 +111,33 @@
111111
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
112112
</nav>
113113

114+
<!-- Track and set sidebar scroll position -->
115+
<script>
116+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
117+
sidebarScrollbox.addEventListener('click', function(e) {
118+
if (e.target.tagName === 'A') {
119+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
120+
}
121+
}, { passive: true });
122+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
123+
sessionStorage.removeItem('sidebar-scroll');
124+
if (sidebarScrollTop) {
125+
// preserve sidebar scroll position when navigating via links within sidebar
126+
sidebarScrollbox.scrollTop = sidebarScrollTop;
127+
} else {
128+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
129+
var activeSection = document.querySelector('#sidebar .active');
130+
if (activeSection) {
131+
activeSection.scrollIntoView({ block: 'center' });
132+
}
133+
}
134+
</script>
135+
114136
<div id="page-wrapper" class="page-wrapper">
115137

116138
<div class="page">
117139
<div id="menu-bar-hover-placeholder"></div>
118-
<div id="menu-bar" class="menu-bar sticky bordered">
140+
<div id="menu-bar" class="menu-bar sticky">
119141
<div class="left-buttons">
120142
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
121143
<i class="fa fa-bars"></i>
@@ -2400,7 +2422,7 @@ <h2 id="options-19"><a class="header" href="#options-19">Options</a></h2>
24002422
<h3 id="operands"><a class="header" href="#operands">Operands</a></h3>
24012423
<ul>
24022424
<li>
2403-
<p><code>Bs=BYTES</code> : read and write up to BYTES bytes at a time (default: 512);
2425+
<p><code>bs=BYTES</code> : read and write up to BYTES bytes at a time (default: 512);
24042426
overwrites <code>ibs</code> and <code>obs</code>.</p>
24052427
</li>
24062428
<li>
@@ -2551,7 +2573,7 @@ <h3 id="output-flags"><a class="header" href="#output-flags">Output flags</a></h
25512573
</ul>
25522574
<h3 id="general-flags"><a class="header" href="#general-flags">General Flags</a></h3>
25532575
<ul>
2554-
<li><code>Direct</code> : use direct I/O for data.</li>
2576+
<li><code>direct</code> : use direct I/O for data.</li>
25552577
<li><code>directory</code> : fail unless the given input (if used as an iflag) or
25562578
output (if used as an oflag) is a directory.</li>
25572579
<li><code>dsync</code> : use synchronized I/O for data.</li>

‎user/searchindex.js

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎user/searchindex.json

+1-1
Large diffs are not rendered by default.

‎user/test_coverage.html

+23-1
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,33 @@
110110
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
111111
</nav>
112112

113+
<!-- Track and set sidebar scroll position -->
114+
<script>
115+
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
116+
sidebarScrollbox.addEventListener('click', function(e) {
117+
if (e.target.tagName === 'A') {
118+
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
119+
}
120+
}, { passive: true });
121+
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
122+
sessionStorage.removeItem('sidebar-scroll');
123+
if (sidebarScrollTop) {
124+
// preserve sidebar scroll position when navigating via links within sidebar
125+
sidebarScrollbox.scrollTop = sidebarScrollTop;
126+
} else {
127+
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
128+
var activeSection = document.querySelector('#sidebar .active');
129+
if (activeSection) {
130+
activeSection.scrollIntoView({ block: 'center' });
131+
}
132+
}
133+
</script>
134+
113135
<div id="page-wrapper" class="page-wrapper">
114136

115137
<div class="page">
116138
<div id="menu-bar-hover-placeholder"></div>
117-
<div id="menu-bar" class="menu-bar sticky bordered">
139+
<div id="menu-bar" class="menu-bar sticky">
118140
<div class="left-buttons">
119141
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
120142
<i class="fa fa-bars"></i>

0 commit comments

Comments
 (0)