From: Paul Hänsch Date: Mon, 19 Feb 2024 01:42:53 +0000 (+0100) Subject: adapt searchindex tool to latest changes X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=756d5e8c0adddd6ed14833cdc246c08eba3a12ae;p=shellwiki adapt searchindex tool to latest changes --- diff --git a/searchindex.sh b/searchindex.sh index 029f0f4..162fad1 100755 --- a/searchindex.sh +++ b/searchindex.sh @@ -1,6 +1,6 @@ #!/bin/sh -# Copyright 2023 Paul Hänsch +# Copyright 2023, 2024 Paul Hänsch # # Permission to use, copy, modify, and/or distribute this software for any # purpose with or without fee is hereby granted, provided that the above @@ -135,7 +135,7 @@ prune() { } index() { - export PATH_INFO="" _DATE="$(date +%s)" + export PATH_INFO="" _DATE="$(date +%s)" SEARCH_INDEX=true if [ "$location" ]; then location="${location#/}" location="${location%/}" @@ -152,6 +152,7 @@ index() { then [ "$verb" ] && printf "%${v}s\r%s\r" "" "$PATH_INFO" >&2 v="${#PATH_INFO}" + cd -- "$_DATA/pages/$PATH_INFO" "$_EXEC/parsers/40_indexer.sh" <"$_DATA/pages/$PATH_INFO/#page.md" >/dev/null fi done