From 034d3613fc06a641645fbc299ceb707f650648a9 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Mon, 2 Nov 2015 14:35:29 +0100
Subject: [PATCH] "ax" theme: Set and export PS4 prompt

---
 themes/ax.axzshtheme | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/themes/ax.axzshtheme b/themes/ax.axzshtheme
index 47cad1d..8635753 100644
--- a/themes/ax.axzshtheme
+++ b/themes/ax.axzshtheme
@@ -17,3 +17,8 @@ PS1="$(ax_logname_prompt_yn)$(ax_hostname_prompt_yn)%B%2~%b"'$(ax_vcs_prompt)'"$
 
 # Prompt on right side
 RPS1="%(?..%{$fg_no_bold[red]%}%? ↵%{$reset_color%})"
+
+# Execution trace prompt.
+PS4="$fg_no_bold[yellow]->$reset_color "
+# This prompt is compatible with sh(1) and bash(1), too, so export it!
+export PS4
-- 
2.39.2