diff options
| author | johannst <johannst@users.noreply.github.com> | 2023-04-12 20:57:45 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2023-04-12 20:57:45 +0000 |
| commit | 4b3a334cf553b9f0b7f831538cb4d23fbdb0594f (patch) | |
| tree | 3a8e4df94497b437656454bc29e522b56f9765cb /monitor | |
| parent | 3f1d25c3e62f91f2555f0649c7c71f3b730717be (diff) | |
| download | notes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.tar.gz notes-4b3a334cf553b9f0b7f831538cb4d23fbdb0594f.zip | |
deploy: d6deac54dd372c946942637636846893694ce521
Diffstat (limited to 'monitor')
| -rw-r--r-- | monitor/index.html | 6 | ||||
| -rw-r--r-- | monitor/lsof.html | 6 | ||||
| -rw-r--r-- | monitor/pgrep.html | 6 | ||||
| -rw-r--r-- | monitor/pidstat.html | 6 | ||||
| -rw-r--r-- | monitor/pmap.html | 6 | ||||
| -rw-r--r-- | monitor/pstack.html | 6 | ||||
| -rw-r--r-- | monitor/ss.html | 6 |
7 files changed, 35 insertions, 7 deletions
diff --git a/monitor/index.html b/monitor/index.html index a031459..63191a5 100644 --- a/monitor/index.html +++ b/monitor/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); @@ -202,5 +205,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/lsof.html b/monitor/lsof.html index 469d587..48068a7 100644 --- a/monitor/lsof.html +++ b/monitor/lsof.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); @@ -243,5 +246,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/pgrep.html b/monitor/pgrep.html index a531993..322ce44 100644 --- a/monitor/pgrep.html +++ b/monitor/pgrep.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); @@ -204,5 +207,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/pidstat.html b/monitor/pidstat.html index 6f50d36..77b747a 100644 --- a/monitor/pidstat.html +++ b/monitor/pidstat.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); @@ -216,5 +219,6 @@ major_pagefault: Happens when the page needed is NOT in memory, the kernel <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/pmap.html b/monitor/pmap.html index ed4eb4a..05ef1f1 100644 --- a/monitor/pmap.html +++ b/monitor/pmap.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); @@ -201,5 +204,6 @@ opts: <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/pstack.html b/monitor/pstack.html index 1a067e7..4c4e996 100644 --- a/monitor/pstack.html +++ b/monitor/pstack.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); @@ -197,5 +200,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> diff --git a/monitor/ss.html b/monitor/ss.html index 484e932..c8ce982 100644 --- a/monitor/ss.html +++ b/monitor/ss.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); @@ -220,5 +223,6 @@ <!-- Custom JS scripts --> + </div> </body> </html> |