diff options
author | u <u@billy> | 2023-05-31 16:59:26 -0400 |
---|---|---|
committer | u <u@billy> | 2023-05-31 16:59:26 -0400 |
commit | 422037899457d4eeb1d42d3175704eb5e04ee932 (patch) | |
tree | 76bed0bc6ebf4dca6cb4f37b9d32fee0cdff62d7 | |
parent | f4d917d6310784ca5908f836a15ea7477c219ab6 (diff) |
fix stripping of "src/" from repo filename
also added comments explaining string functions
-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 |