join: update library paths, install to new location

[hcoop/portal.git] / aptquery.sml

diff --git a/aptquery.sml b/aptquery.sml
index 6818938..d7fc8cc 100644 (file)
--- a/aptquery.sml
+++ b/aptquery.sml
@@ -14,7 +14,7 @@ fun query {node, pkg = name} =
            else
                raise Fail "Invalid package name"
 
-       val proc = Unix.execute ("/usr/bin/apt-cache", ["show", name])
+       val proc = Unix.executeInEnv ("/usr/local/bin/domtool-admin", ["package-exists", Init.nodeName node, name], ["DOMTOOL_USER=hcoop"])
        val inf = Unix.textInstreamOf proc
 
        fun loop (section, descr) =