aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorjohannst <johannst@users.noreply.github.com>2023-04-12 20:57:45 +0000
committerjohannst <johannst@users.noreply.github.com>2023-04-12 20:57:45 +0000
commit4b3a334cf553b9f0b7f831538cb4d23fbdb0594f (patch)
tree3a8e4df94497b437656454bc29e522b56f9765cb /tools
parent3f1d25c3e62f91f2555f0649c7c71f3b730717be (diff)
downloadnotes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.tar.gz
notes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.zip
deploy: d6deac54dd372c946942637636846893694ce521
Diffstat (limited to 'tools')
-rw-r--r--tools/awk.html6
-rw-r--r--tools/bash.html6
-rw-r--r--tools/dot.html6
-rw-r--r--tools/emacs.html6
-rw-r--r--tools/fish.html6
-rw-r--r--tools/gdb.html6
-rw-r--r--tools/gdbserver.html6
-rw-r--r--tools/git.html6
-rw-r--r--tools/gpg.html6
-rw-r--r--tools/index.html6
-rw-r--r--tools/pacman.html6
-rw-r--r--tools/qemu.html6
-rw-r--r--tools/radare2.html6
-rw-r--r--tools/tmux.html6
-rw-r--r--tools/zsh.html6
15 files changed, 75 insertions, 15 deletions
diff --git a/tools/awk.html b/tools/awk.html
index 4a2666e..1ccbacd 100644
--- a/tools/awk.html
+++ b/tools/awk.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -337,5 +340,6 @@ in the <code>user</code> variable and then print it.</p>
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/bash.html b/tools/bash.html
index fc95fc7..cadb44e 100644
--- a/tools/bash.html
+++ b/tools/bash.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -397,5 +400,6 @@ complete -F _foo foo
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/dot.html b/tools/dot.html
index 1cf5340..15249e5 100644
--- a/tools/dot.html
+++ b/tools/dot.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -244,5 +247,6 @@ digraph {
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/emacs.html b/tools/emacs.html
index fd1b596..35a7792 100644
--- a/tools/emacs.html
+++ b/tools/emacs.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -400,5 +403,6 @@
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/fish.html b/tools/fish.html
index 61fa0a9..e2e0d30 100644
--- a/tools/fish.html
+++ b/tools/fish.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -343,5 +346,6 @@ string split SEP STRING
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/gdb.html b/tools/gdb.html
index e90764b..b303f97 100644
--- a/tools/gdb.html
+++ b/tools/gdb.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -513,5 +516,6 @@ executed. To workaround that bug one can create a wrapper function which calls
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/gdbserver.html b/tools/gdbserver.html
index cd8eb88..f7440c1 100644
--- a/tools/gdbserver.html
+++ b/tools/gdbserver.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -211,5 +214,6 @@ gdb -ex 'target remote localhost:1234'
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/git.html b/tools/git.html
index 06d221d..5599406 100644
--- a/tools/git.html
+++ b/tools/git.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -344,5 +347,6 @@
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/gpg.html b/tools/gpg.html
index 75f485f..15e770e 100644
--- a/tools/gpg.html
+++ b/tools/gpg.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -309,5 +312,6 @@ gpg&gt; save
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/index.html b/tools/index.html
index 6e1d8f5..a7d697b 100644
--- a/tools/index.html
+++ b/tools/index.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -210,5 +213,6 @@
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/pacman.html b/tools/pacman.html
index 18bdc52..70fd22f 100644
--- a/tools/pacman.html
+++ b/tools/pacman.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -232,5 +235,6 @@ package and sort by size.</p>
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/qemu.html b/tools/qemu.html
index b53cb23..9a58fe1 100644
--- a/tools/qemu.html
+++ b/tools/qemu.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -441,5 +444,6 @@ _start:
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/radare2.html b/tools/radare2.html
index 779c8ef..5a50d69 100644
--- a/tools/radare2.html
+++ b/tools/radare2.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -228,5 +231,6 @@
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/tmux.html b/tools/tmux.html
index f66df82..38170da 100644
--- a/tools/tmux.html
+++ b/tools/tmux.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -290,5 +293,6 @@ list-keys -t vi-copy list keymaps for vi-copy mode
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
diff --git a/tools/zsh.html b/tools/zsh.html
index 54f8481..32c18ea 100644
--- a/tools/zsh.html
+++ b/tools/zsh.html
@@ -32,6 +32,7 @@
</head>
<body>
+ <div id="body-container">
<!-- Provide site root to javascript -->
<script>
var path_to_root = "../";
@@ -69,10 +70,12 @@
<!-- Hide / unhide sidebar before it is displayed -->
<script>
var html = document.querySelector('html');
- var sidebar = 'hidden';
+ var sidebar = null;
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
+ } else {
+ sidebar = 'hidden';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
@@ -469,5 +472,6 @@ function _foo() {
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 01:24:00 +0000