dip

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

commit a4b413aca9cd12387f914438f28c5dddb1066f51
parent 639b6de17837fc5ea6d821292509fc9c3fe5c2aa
Author: rsiddharth <s@ricketyspace.net>
Date:   Wed, 30 May 2018 21:51:19 +0000

usr: Update local/bin/mixvm

Diffstat:
usr/local/bin/mixvm | 8+++++++-
1 file changed, 7 insertions(+), 1 deletion(-)

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