dip

old school recipes for janitorial snafu.
git clone git://git.ricketyspace.net/dip.git
Log | Files | Refs

commit 0f4d7c0a4ad6434c39a20096538a41d5d25d7b31
parent 2fbd7f2d7a86bbe4c76b30a7101496ae9c816e95
Author: rsiddharth <s@ricketyspace.net>
Date:   Tue,  1 Jan 2019 20:24:56 -0500

Add etc/hosts.

* Makefile: Add hosts.
* etc/hosts: New file.

Diffstat:
Makefile | 9+++++++++
etc/hosts | 6++++++
2 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/Makefile b/Makefile @@ -10,6 +10,15 @@ usrbin: .endfor .PHONY: usrbin +# Provision hosts +hosts: + while read line; do \ + grep -q "$$line" /etc/hosts || \ + echo "$$line" >> /etc/hosts; \ + done <etc/hosts +.PHONY: hosts + + # Provision cabal build dir. CABAL_BDIR=/usr/local/cabal/build ${CABAL_BDIR}: diff --git a/etc/hosts b/etc/hosts @@ -0,0 +1,6 @@ +127.0.0.1 cygnus +127.0.0.2 gnu.web +127.0.0.3 sicp.web +127.0.0.4 cached.web +127.0.0.5 taoup.web +127.0.0.6 vm.web