diff options
-rw-r--r-- | src/endofossil | 6 |
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 |