asterix-gerrit.ics.uci.edu / asterixdb / b0f456366222d75c79657ffdb0240c01703f5f25 / asterix / asterix-tools / scripts / bash / trim.sh