"ax" theme: Set and export PS4 prompt

diff --git a/themes/ax.axzshtheme b/themes/ax.axzshtheme
index 47cad1d86e9e06c66d00dbf5c737f414d68dad5a..8635753d3efabf7da37557d0f3b4cf1ab5bbe172 100644 (file)
--- 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