10 my_serviceman=$(command -v serviceman)
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"
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/"
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?