From 4d8571556ae79095fbe0a292b04642fbd81aa87b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jelmer=20Vernoo=C4=B3?= Date: Tue, 23 Mar 2021 21:11:26 +0000 Subject: [PATCH] Add which. --- ognibuild/session/__init__.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ognibuild/session/__init__.py b/ognibuild/session/__init__.py index f9f0225..4693341 100644 --- a/ognibuild/session/__init__.py +++ b/ognibuild/session/__init__.py @@ -118,3 +118,10 @@ def run_with_tee(session: Session, args: List[str], **kwargs): def get_user(session): return session.check_output(["echo", "$USER"], cwd="/").decode().strip() + + +def which(session, name): + ret = session.check_output(["which", name], cwd="/").decode().strip() + if not ret: + return None + return ret