webi/install.sh

   1 #!/bin/bash
   2
   3 # Note: 'webi' is a special case. It's actually just a helper utility that comes with every installer.
   4 #       See https://github.com/webinstall/packages/blob/master/_webi/bootstrap.sh for the source.
   5
   6 {
   7
   8 if [ -f "$HOME/.local/bin/webi" ]; then
   9   set +e
  10   cur_webi="$(command -v webi)"
  11   set -e
  12   if [ -z "$cur_webi" ]; then
  13     webi_path_add "$HOME/.local/bin"
  14   fi
  15   echo "Installed 'webi'"
  16 else
  17   # for when this file is run on its own, not from webinstall.dev
  18   echo "Install any other package via https://webinstall.dev and webi will be installed as part of the bootstrap process"
  19 fi
  20
  21 }