From 640cf28d65c1efc97670f5c0d83bb327eaa6883c Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Tue, 29 Jan 2019 07:15:02 +0100
Subject: [PATCH] [Script] Add updating prompt to example script.

---
 Examples/test_script_mode.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Examples/test_script_mode.sh b/Examples/test_script_mode.sh
index 4228ec78..d91f6a0f 100755
--- a/Examples/test_script_mode.sh
+++ b/Examples/test_script_mode.sh
@@ -7,6 +7,8 @@ fi
 
 if [ "$@" ]
 then
+    # Override the previously set prompt.
+    echo -en "\x00prompt\x1fChange prompt\n"
     for a in {1..10}
     do
         echo "$a"