From f56e2a7b9eb7c0e9baae8f99c2b02f13d3d9f388 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 20 Aug 2021 22:35:24 +0100
Subject: [PATCH] Use POSIX-compliant method to find isabelle command.

---
 themes/logicalhacking.zsh-theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/logicalhacking.zsh-theme b/themes/logicalhacking.zsh-theme
index ff8a6a5..f98aa8e 100755
--- a/themes/logicalhacking.zsh-theme
+++ b/themes/logicalhacking.zsh-theme
@@ -177,7 +177,7 @@ isa_version_cmd (){
     echo `Isabelle version  | sed -e 's/:.*//' -e 's/Isabelle//'`
 }
 isa_version_dir() {
-    echo `which isabelle | sed -e 's/.*Isabelle//' -e 's/.bin.*//'`
+    echo `command -v isabelle | sed -e 's/.*Isabelle//' -e 's/.bin.*//'`
 }    
 prompt_isabelle_env() {
     ISADIR=false