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 }