From: Paul Hänsch Date: Tue, 6 Feb 2024 23:14:35 +0000 (+0100) Subject: alternative argument name: --title/--titles X-Git-Url: https://git.plutz.net/?p=shellwiki;a=commitdiff_plain;h=47fc66bf1d57a7c43f572514c87b650671fd64e0 alternative argument name: --title/--titles --- diff --git a/macros/pagelist b/macros/pagelist index 9539531..cdc7485 100755 --- a/macros/pagelist +++ b/macros/pagelist @@ -27,7 +27,7 @@ set -- "$@" -- while [ $# -gt 0 ]; do case $1 in --system) glob_system_pages=true; shift 1;; --depth) depth="$2"; shift 2;; - --titles) titles=true; shift 1;; + --title|--titles) titles=true; shift 1;; \#*) tags="${tags}${tags:+ }${1###}"; shift 1;; \!*) ntags="${ntags}${ntags:+ }${1##!}"; shift 1;; --h1|--h2|--h3|--h4|--h5|--h6|--label)