Re: [Engine-devel] REST API using BASH