scripts : working curl pipe

This commit is contained in:
Georgi Gerganov 2023-10-31 17:03:56 +02:00
parent f3947e1e02
commit dab42893c9
No known key found for this signature in database
GPG Key ID: 449E073F9DC10735

View File

@ -27,7 +27,7 @@
# #
# Example: # Example:
# #
# bash <(curl https://ggml.ai/server-llm.sh) # bash -c "$(curl -s https://ggml.ai/server-llm.sh)"
# #
set -e set -e
@ -76,7 +76,7 @@ function print_usage {
printf " --n-kv: KV cache size, default is 4096\n" printf " --n-kv: KV cache size, default is 4096\n"
printf " --verbose: verbose output\n\n" printf " --verbose: verbose output\n\n"
printf "Example:\n\n" printf "Example:\n\n"
printf " bash <(curl https://ggml.ai/server-llm.sh)\n\n" printf ' bash -c "$(curl -s https://ggml.ai/server-llm.sh)"\n\n'
} }
while [[ $# -gt 0 ]]; do while [[ $# -gt 0 ]]; do