summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2021-01-31 14:08:47 +0000
committerJohn Ankarström <john@ankarstrom.se>2021-01-31 14:08:47 +0000
commit01d70ec025ac617b1f74a7c8ccb2ed8bc120ca59 (patch)
tree3276a9ba46ea5eae216825251f7a3fc9b2769bf4
parentbc2a366ba9a369b1742fcaf2db1dea19258d04c2 (diff)
downloadplan9-01d70ec025ac617b1f74a7c8ccb2ed8bc120ca59.tar.gz
Add init
Init initializes the files that are supposed to be part of this repository. They're actually located elsewhere in the system, but are added to the repository via bind(1).
-rwxr-xr-xinit4
1 files changed, 4 insertions, 0 deletions
diff --git a/init b/init
new file mode 100755
index 0000000..1958e06
--- /dev/null
+++ b/init
@@ -0,0 +1,4 @@
+#!/bin/rc
+bind -c . .
+bind -a $home/sources/patch patch
+bind -a $home/bin/rc .