update descriptions

[webi-installers/.git] / pathman / pathman.bash

diff --git a/pathman/pathman.bash b/pathman/pathman.bash
index 1fa9396cc18817e86967d924be4832c6fd9b7479..09a81492d100baa5b6e86ee4ac6dd7847535cf88 100644 (file)
--- a/pathman/pathman.bash
+++ b/pathman/pathman.bash
@@ -29,7 +29,7 @@ set -u
 
 # Get arch envs, etc
 my_url="https://rootprojects.org/pathman/dist/$(uname -s)/$(uname -m)/pathman"
-curl -fL "$my_url" -o pathman
+curl -fsSL "$my_url" -o pathman
 echo ""
 # Make executable
 chmod +x ./pathman