diff --git a/scripts/functions b/scripts/functions index beb47de15..3ca2b7720 100644 --- a/scripts/functions +++ b/scripts/functions @@ -399,6 +399,11 @@ dump_env() { pkgcheck() { egrep -q "^$2.* ($1) " $base/config/$config/packages } +# Check if a package exists (is build) +# +pkgexists() { + [ -f $root/var/adm/flists/$1 ] +} # Register a window-manager #