dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2026-02-13 22:52:18 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove file deletion check from check-pol

Browse source
This commit is contained in:
Simon Marsh 2026-02-09 08:18:04 +00:00
parent fc454a1a56
commit 8af3b05762
No known key found for this signature in database
GPG key ID: E9B4156C1659C079
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
check-pol
View file

@ -70,9 +70,7 @@ do
object="$3"
# check the file really is a registry object
# (including if it still exists, as it may have been deleted)
if [ -f "$filename" ] && [ "$path" = 'data' ] && \
[ -n "$type" ] && [ -n "$object" ]
if [ "$path" = 'data' ] && [ -n "$type" ] && [ -n "$object" ]
then
# run the check script