# HG changeset patch
# User jwe
# Date 814072779 0
# Node ID a8232861312c900988a62c22e5c464111bda20d3
# Parent  1da33230f4241bf0f4042da3cac676c82ad40fe7
[project @ 1995-10-19 03:19:39 by jwe]

diff --git a/src/input.cc b/src/input.cc
--- a/src/input.cc
+++ b/src/input.cc
@@ -377,6 +377,16 @@
 	      temp = strsave (geteuid () == 0 ? "#" : "$");
 	      goto add_string;
 
+	    case '[':
+	    case ']':
+	      temp = new char[3];
+              temp[0] = '\001';
+              temp[1] = ((c == '[')
+			 ? RL_PROMPT_START_IGNORE
+			 : RL_PROMPT_END_IGNORE);
+              temp[2] = '\0';
+	      goto add_string;
+
 	    case '\\':
 	      temp = strsave ("\\");
 	      goto add_string;