2019-09-29 14:15:52 +00:00
|
|
|
create the file "server" with the hostname in the form of "http://server:8080" or "http://127.0.0.1:8080" basically whatever curl understands
|
2019-09-20 16:02:22 +00:00
|
|
|
create the file "user" with your username and password in the form of "user:password"
|
|
|
|
|
|
|
|
then you can call remote
|
2019-09-29 14:15:52 +00:00
|
|
|
|
2020-03-06 04:19:05 +00:00
|
|
|
|
|
|
|
deps:
|
|
|
|
posix sh
|
|
|
|
curl
|
|
|
|
echo
|
|
|
|
readlink -f
|
|
|
|
dirname
|