From 3688b86666ae9bdd92876b7c4d912a1d9dffa454 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Sun, 6 Jan 2013 17:06:52 -0500 Subject: [PATCH] Update `domtool-admin package-exists $node $pkg` for apt requests --- apt.mlt | 5 ++++- aptquery.sml | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/apt.mlt b/apt.mlt index b5c808b..ab3e2e4 100644 --- a/apt.mlt +++ b/apt.mlt @@ -213,7 +213,10 @@ elseif $"mod" <> "" then

Request new installations

-List the package names you'd like, separated by any whitespace characters. +List the package names you'd like, separated by any whitespace +characters. If you want the version of a package from backports, specify that +in the "Reason" field.
diff --git a/aptquery.sml b/aptquery.sml index 6818938..d7fc8cc 100644 --- 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) = -- 2.20.1