From c9c089afad2f7e50ca18687b41b1fbab227abf3a Mon Sep 17 00:00:00 2001 From: Martinez Date: Mon, 10 Apr 2017 11:13:11 +0200 Subject: [PATCH] adds force-install to /bin --- bin/force-install | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 bin/force-install diff --git a/bin/force-install b/bin/force-install new file mode 100755 index 0000000..5296cae --- /dev/null +++ b/bin/force-install @@ -0,0 +1,19 @@ +#! /bin/zsh +# encoding: utf-8 + +for arg in $@ +do + if [[ "$arg" =~ "::" ]]; then + suffix="" + else + suffix="::gentoo" + fi + + cave perform fetch "${arg}${suffix}" && \ + cave perform install --destination installed "${arg}${suffix}" + + if [[ $? -eq 1 ]]; then + echo "!!! failed during $arg" + exit 1 + fi +done