summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoru <u@billy>2023-05-31 16:59:26 -0400
committeru <u@billy>2023-05-31 16:59:26 -0400
commit422037899457d4eeb1d42d3175704eb5e04ee932 (patch)
tree76bed0bc6ebf4dca6cb4f37b9d32fee0cdff62d7
parentf4d917d6310784ca5908f836a15ea7477c219ab6 (diff)
fix stripping of "src/" from repo filename
also added comments explaining string functions
-rw-r--r--src/endofossil6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/endofossil b/src/endofossil
index 2960e8e..3925d89 100644
--- a/src/endofossil
+++ b/src/endofossil
@@ -33,9 +33,9 @@ case "$SSH_ORIGINAL_COMMAND" in
33 [ $# = 3 ] 33 [ $# = 3 ]
34 for d in "${shared_paths[@]}" 34 for d in "${shared_paths[@]}"
35 do 35 do
36 f=${3#/${d##*/./}} 36 f=${3#${d##*/./}/} # remove prefix "src/" from input if present
37 f=${f%$require_extension}$require_extension 37 f=${f%$require_extension}$require_extension # add suffix ".fossil" if not present
38 [ "$f" != "$require_extension" ] 38 [ "$f" != "$require_extension" ] # basename is not ""
39 if upstreamDatabase=$(realpath -e -s "$d"/"$f") 39 if upstreamDatabase=$(realpath -e -s "$d"/"$f")
40 then 40 then
41 break 41 break