asterix-gerrit.ics.uci.edu / asterixdb / dbe06fb74a0f2d359d26e87a076e8b114516b7d5 / hivesterix / hivesterix-dist / src / main / resources / scripts / ext / cli.sh