How can I do paginated REST calls in bash to aggregate field "name" in one array.
This request
curl -k -s -X GET "https://$host/api/proj
