Commit d34d863729186eb3b591424bc673a5bdf030a296

Thomas de Grivel 2023-02-17T16:48:22

log index

diff --git a/bin/shpkg_ci_mux b/bin/shpkg_ci_mux
index 8f21a4a..20a67ef 100755
--- a/bin/shpkg_ci_mux
+++ b/bin/shpkg_ci_mux
@@ -40,7 +40,19 @@ shpkg_ci_status2png () {
     done
 }
 
+usage () {
+    echo "Usage: $0 [OPTION] PKG REMOTE1 REMOTE2 ..."
+    echo "Options :"
+    echo " --no-remote      Do not run remote commands, only mux files."
+    echo " --upgrade        Upgrade."
+    echo " --clean          Remove CI files."
+    exit $1
+}
+
 main () {
+    if [ "x$1" = "x--help" ] || [ "x$1" = "x-h" ]; then
+        usage 0
+    fi
     SHPKG_REPO="$1"
     shift
     if [ "x${SHPKG_REPO}" != "x--no-remote" ]; then
@@ -89,6 +101,9 @@ main () {
     <link rel="icon" type="image/png" sizes="64x64" href="${IMG}">
   </head>
   <body>
+    <div class="ci-header">
+      <a href="./"><i class="fas fa-asterisk"></i> All logs</a>
+    </div>
     <h1>
       <img src="${IMG}" class="status-${STATUS}"/>
       ${TITLE}