dip

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

commit ac25739d495cb94bc8450352f4a76ff756a2d077
parent 29ca2c12a907f4f7018241829673ca2aa7403446
Author: rsiddharth <s@ricketyspace.net>
Date:   Fri,  2 Nov 2018 18:36:55 -0400

Remove usr/local/bin/annex-to.

Diffstat:
usr/local/bin/annex-to | 23-----------------------
1 file changed, 0 insertions(+), 23 deletions(-)

diff --git a/usr/local/bin/annex-to b/usr/local/bin/annex-to @@ -1,23 +0,0 @@ -#!/bin/sh -# -# License: CC0-1.0 -# -# annex-to path -GIT_ANNEX='/usr/bin/git-annex' -ANNEX_PATH=$1 -GET=$2 - -if [ -z $GET ]; then - GET='--all' -fi - -if [ -d $ANNEX_PATH ]; then - echo 'annexing to' $ANNEX_PATH '...' - cd $ANNEX_PATH - $GIT_ANNEX sync - $GIT_ANNEX get $GET - echo 'finished annexing to' $ANNEX_PATH -else - echo $ANNEX_PATH 'not found.' - exit 1 -fi