From fbe3f344c14d002316338a38d35f7227e94f2844 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@swtch.com>
Date: Tue, 3 Jun 2014 14:29:06 -0400
Subject: build: rename " and "" to quote1 and quote2 for hg

They'll be copied back during installation
but then hg doesn't have to create those files
on systems that have trouble with them.

TBR=rsc
https://codereview.appspot.com/105800043
---
 "bin/\""   | 27 ---------------------------
 "bin/\"\"" | 10 ----------
 bin/quote1 | 27 +++++++++++++++++++++++++++
 bin/quote2 | 10 ++++++++++
 4 files changed, 37 insertions(+), 37 deletions(-)
 delete mode 100755 "bin/\""
 delete mode 100755 "bin/\"\""
 create mode 100755 bin/quote1
 create mode 100755 bin/quote2

(limited to 'bin')

diff --git "a/bin/\"" "b/bin/\""
deleted file mode 100755
index e0f7c8f9..00000000
--- "a/bin/\""
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/usr/local/plan9/bin/rc
-
-. 9.rc
-
-fn text {
-	if(~ $winid [0-9]*)
-		9p read acme/$winid/body
-	if not if(~ $text9term unix!*)
-		dial -e $text9term </dev/null
-	if not
-		status=''
-}
-
-PROMPT='[^ 	]*[%;$#][ 	]+'
-
-fn cmds {
-	text | sed -n 's/^'$PROMPT'([^"])/	\1/p'
-}
-
-switch($#*) {
-case 0
-	cmds | tail -1
-case *
-	cmds | grep -n '^	'^$"* | tail -r |
-		sort -u +1 | sort -n |
-		sed 's/^[0-9]+: //'
-}
diff --git "a/bin/\"\"" "b/bin/\"\""
deleted file mode 100755
index c77da34d..00000000
--- "a/bin/\"\""
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/local/plan9/bin/rc
-
-cmd = `{" $* | tail -1}
-if (~ $#cmd 0) {
-	echo no such command found >[1=2]
-	exit notfound
-}
-
-echo '	' $cmd >[1=2]
-rc -c $"cmd
diff --git a/bin/quote1 b/bin/quote1
new file mode 100755
index 00000000..e0f7c8f9
--- /dev/null
+++ b/bin/quote1
@@ -0,0 +1,27 @@
+#!/usr/local/plan9/bin/rc
+
+. 9.rc
+
+fn text {
+	if(~ $winid [0-9]*)
+		9p read acme/$winid/body
+	if not if(~ $text9term unix!*)
+		dial -e $text9term </dev/null
+	if not
+		status=''
+}
+
+PROMPT='[^ 	]*[%;$#][ 	]+'
+
+fn cmds {
+	text | sed -n 's/^'$PROMPT'([^"])/	\1/p'
+}
+
+switch($#*) {
+case 0
+	cmds | tail -1
+case *
+	cmds | grep -n '^	'^$"* | tail -r |
+		sort -u +1 | sort -n |
+		sed 's/^[0-9]+: //'
+}
diff --git a/bin/quote2 b/bin/quote2
new file mode 100755
index 00000000..c77da34d
--- /dev/null
+++ b/bin/quote2
@@ -0,0 +1,10 @@
+#!/usr/local/plan9/bin/rc
+
+cmd = `{" $* | tail -1}
+if (~ $#cmd 0) {
+	echo no such command found >[1=2]
+	exit notfound
+}
+
+echo '	' $cmd >[1=2]
+rc -c $"cmd
-- 
cgit v1.2.3