chiark / gitweb /
setup: Source local hacks if present.
authorMark Wooding <mdw@tubescreamer.distorted.org.uk>
Wed, 12 Apr 2006 02:54:44 +0000 (03:54 +0100)
committerMark Wooding <mdw@tubescreamer.distorted.org.uk>
Wed, 12 Apr 2006 02:54:44 +0000 (03:54 +0100)
This is necessary for local machines, because they need to use a
different repo URL.

.gitignore [new file with mode: 0644]
setup

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..f6cf60b
--- /dev/null
@@ -0,0 +1 @@
+setup-local
diff --git a/setup b/setup
index 4ff3c75c78da706bd4e3074e987f571585502d1f..7f3f714de916990ca4526634e04eac269628cb51 100755 (executable)
--- a/setup
+++ b/setup
@@ -7,6 +7,7 @@ umask 002
 sub=
 mkdir -p $HOME$sub
 
+[ -f setup-local ] && . setup-local
 : ${REPO=http://guvnor.distorted.org.uk/ftp/pub/mdw/profile}
 
 export PATH=/usr/local/bin:$HOME$sub/bin:/usr/bin:/usr/ccs/bin:/bin