jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

00-compress-info-files.sh: replace echo | grep with [[ ]]

Browse source
This commit is contained in:
maxice8 2019-04-14 08:05:31 -03:00 committed by maxice8
parent bec3eafad4
commit cdb6bf6e94
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
common/hooks/post-install/00-compress-info-files.sh
View file

@ -21,12 +21,11 @@ hook() {
[ "$j" = "" ] && continue [ "$j" = "" ] && continue
[ "$j" = "/usr/share/info/dir" ] && continue [ "$j" = "/usr/share/info/dir" ] && continue
# Ignore compressed files. # Ignore compressed files.
if $(echo "$j"|grep -q '.*.gz$'); then if [[ "$j" =~ .*.gz$ ]]; then
continue continue
fi fi
# Ignore non info files. # Ignore non info files.
if ! $(echo "$j"|grep -q '.*.info$') && \ if ! [[ "$j" =~ .*.info$ ]] && ! [[ "$j" =~ .*.info-[0-9]*$ ]]; then
! $(echo "$j"|grep -q '.*.info-[0-9]*$'); then
continue continue
fi fi
if [ -h ${PKGDESTDIR}/"$j" ]; then if [ -h ${PKGDESTDIR}/"$j" ]; then