Add custom header (#17)

Makes editing the header easier
main
DreamsVoid 2021-07-09 07:33:11 +01:00 committed by GitHub
parent 2f1d6ef939
commit fc128adf24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -1,6 +1,7 @@
#!/usr/bin/env sh #!/usr/bin/env sh
title=tinystatus title=tinystatus
header="Global Status"
timeout=10 timeout=10
tmp="$(mktemp -d)" tmp="$(mktemp -d)"
checkfile="${1:-checks.csv}" checkfile="${1:-checks.csv}"
@ -83,7 +84,7 @@ li { list-style: none; margin-bottom: 2px; padding: 5px; border-bottom: 1px soli
</style></head> </style></head>
<body> <body>
<div class='container'> <div class='container'>
<h1>Global status</h1> <h1>${header}</h1>
EOF EOF
outagenb="$(find "${tmp}/ko" -mindepth 1 | grep -c 'status$')" outagenb="$(find "${tmp}/ko" -mindepth 1 | grep -c 'status$')"
if [ "${outagenb}" -ne 0 ]; then if [ "${outagenb}" -ne 0 ]; then