Update .devops/tools.sh

Co-authored-by: Georgi Gerganov <ggerganov@gmail.com>
This commit is contained in:
Bernat Vadell 2023-03-14 20:46:41 +01:00 committed by GitHub
parent a4590d3be9
commit 901c34d1b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,10 +10,10 @@ shift
arg2="$@"
if [[ $arg1 == '--convert' || $arg1 == '-c' ]]; then
python3 ./convert-pth-to-ggml.py $arg2
python3 ./convert-pth-to-ggml.py $arg2
elif [[ $arg1 == '--quantize' || $arg1 == '-q' ]]; then
/app/quantize $arg2
/app/quantize $arg2
else
echo "Unknown command: $arg1"
echo "Valid commands: --convert (-c) or --quantize (-q)"
echo "Unknown command: $arg1"
echo "Valid commands: --convert (-c) or --quantize (-q)"
fi