summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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