1 files changed, 35 insertions, 0 deletions
diff --git a/rc/bin/patch/note b/rc/bin/patch/note
new file mode 100755
index 000000000..858e2f63f
--- /dev/null
+++ b/rc/bin/patch/note
@@ -0,0 +1,35 @@
+#!/bin/rc
+
+rfork e
+if(! ~ $#* 1){
+	echo 'usage: patch/note patch-name' >[1=2]
+	exit usage
+}
+
+if(! test -d /n/sources/patch){
+	rfork n
+	9fs sources
+}
+
+if(! test -d /n/sources/patch/$1){
+	echo 'no such patch' /n/sources/patch/$1 >[1=2]
+	exit nopatch
+}
+
+builtin cd /n/sources/patch/$1 || exit nopatch
+if(! patch/okay .){
+	echo 'bad patch: '$status >[1=2]
+	exit badpatch
+}
+
+if(~ `{cat /proc/$pid/fd | awk 'NR==2{print $NF}'} */dev/cons && ~ `{ls -l /dev/consctl | awk '{print $1}'} *w*){
+	>/dev/consctl {
+		echo holdon
+		{echo `{date} `{cat /dev/user}
+		cat |sed 's/^/    /'; echo } >>notes
+	}
+}
+if not
+	{echo `{date} `{cat /dev/user}
+	cat |sed 's/^/    /'; echo } >>notes
+