diff options
| author | Erich Eckner <git@eckner.net> | 2024-01-29 21:31:44 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2024-01-29 21:31:44 +0100 |
| commit | d7d248bd259970de8e91c6c46687add9bf70517b (patch) | |
| tree | ec1d8f5988d19db771567c6787d4cf6811673801 | |
| parent | 84862abc33643172424dcd08241d0580db842a84 (diff) | |
| download | print-status-d7d248bd259970de8e91c6c46687add9bf70517b.tar.xz | |
print-status-html: only print partitions if applicable
| -rwxr-xr-x | print-status-html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print-status-html b/print-status-html index 9ff06d3..1317a8d 100755 --- a/print-status-html +++ b/print-status-html @@ -7,7 +7,7 @@ printf '<html><head><title>Status Of %s</title></head><body>\n' \ "$(uname -n | cut -d. -f1)" - if [ -n "${!watch_dirs[@]}" ]; then + if [ "${#watch_dirs[@]}" -gt 0 ]; then printf '%s\n' \ '<h1>Partitions</h1>' |