diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2024-04-21 10:18:55 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2024-04-21 10:18:55 +0200 |
| commit | 2dc7a161a09518edae9e04a77fca569460d6a560 (patch) | |
| tree | 5c893311826fc1ae7090352fb2f17a2d3d3a560e /src/lib/repo/configure.sh | |
| parent | a1ca197bc99c2d5c2977630cc4c9dbfd5461d9c1 (diff) | |
| parent | 05bea3e922aa7aec5cba3242d3f34b5c10fad24e (diff) | |
| download | devtools-master.tar.xz | |
Diffstat (limited to 'src/lib/repo/configure.sh')
| -rw-r--r-- | src/lib/repo/configure.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/lib/repo/configure.sh b/src/lib/repo/configure.sh index b3c188c..0980fd1 100644 --- a/src/lib/repo/configure.sh +++ b/src/lib/repo/configure.sh @@ -207,9 +207,14 @@ pkgctl_repo_configure() { fi for path in "${paths[@]}"; do - if ! realpath=$(realpath -e "${path}"); then + # resolve symlink for basename + if ! realpath=$(realpath --canonicalize-existing -- "${path}"); then die "No such directory: ${path}" fi + # skip paths that aren't directories + if [[ ! -d "${realpath}" ]]; then + continue + fi pkgbase=$(basename "${realpath}") pkgbase=${pkgbase%.git} |