From 329b5a076c212bacba4d5f6a46137e845e476042 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Sat, 8 Jul 2017 23:17:06 +0200
Subject: [PATCH] axemoji.axzshtheme: Set PS4 like the "ax" theme does

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

diff --git a/themes/axemoji.axzshtheme b/themes/axemoji.axzshtheme
index b309bf9..128b4cd 100644
--- a/themes/axemoji.axzshtheme
+++ b/themes/axemoji.axzshtheme
@@ -32,4 +32,9 @@ fi
 
 PS1="${system_emoji}${emoji_spacing} $(ax_logname_prompt_yn)$(ax_hostname_prompt_yn)%B%2~%b"'$(ax_vcs_prompt)'"$(ax_prompt)"
 
+# Default 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
+
 unset system_emoji emoji_spacing
-- 
2.39.2