dip

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

commit 653cf3a397cbfe776b65812d04af059b3b207d3a
parent 01b98c5293726192e80366ee00c5814dbb84ce7d
Author: rsiddharth <s@ricketyspace.net>
Date:   Fri,  2 Nov 2018 18:38:18 -0400

Remove usr/local/bin/mixvm.

Diffstat:
usr/local/bin/mixvm | 12------------
1 file changed, 0 insertions(+), 12 deletions(-)

diff --git a/usr/local/bin/mixvm b/usr/local/bin/mixvm @@ -1,12 +0,0 @@ -#!/bin/sh -# -# License: CC0-1.0 -# -WD='' - -if [ ! -z $1 ]; then - WD='--workdir='$1 -fi - -cd ~/v/git.ricketyspace.net/dip && \ - docker-compose run $WD --rm taocp mixvm