serviceman/install.sh

   1 #!/bin/bash
   2
   3 {
   4
   5     set -e
   6     set -u
   7
   8     # Test if in PATH
   9     set +e
  10     my_serviceman=$(command -v serviceman)
  11     set -e
  12     if [ -n "$my_serviceman" ]; then
  13         if [ "$my_serviceman" != "$HOME/.local/bin/serviceman" ]; then
  14             echo "a serviceman installation (which make take precedence) exists at:"
  15             echo "    $my_serviceman"
  16             echo ""
  17         fi
  18     fi
  19
  20     # Get arch envs, etc
  21     webi_download "https://rootprojects.org/serviceman/dist/$(uname -s)/$(uname -m)/serviceman" "$HOME/Downloads/serviceman"
  22     chmod +x "$HOME/Downloads/serviceman"
  23     mv "$HOME/Downloads/serviceman" "$HOME/.local/bin/"
  24
  25     # add to ~/.local/bin to PATH, just in case
  26     webi_path_add $HOME/.local/bin # > /dev/null 2> /dev/null
  27     # TODO inform user to add to path, apart from pathman?
  28
  29 }