changeset 1568:a8232861312c

[project @ 1995-10-19 03:19:39 by jwe]
author jwe
date Thu, 19 Oct 1995 03:19:39 +0000
parents 1da33230f424
children b221bae7ca15
files src/input.cc
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/input.cc	Wed Oct 18 00:47:12 1995 +0000
+++ b/src/input.cc	Thu Oct 19 03:19:39 1995 +0000
@@ -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;